Changes in libstdcxx_libcxx_less_hack.cpp

5e9746f5 - DR583, DR1512: Implement a rewrite to C++'s 'composite pointer type' rules.

Fri, 21 Oct 2016 22:00:42 +0000

DR583, DR1512: Implement a rewrite to C++'s 'composite pointer type' rules.This has two significant effects:1) Direct relational comparisons between null pointer constants (0 and nullopt) and pointers are now ill-formed. This was always the case for C, and it appears that C++ only ever permitted by accident. For instance, cases like nullptr < &a are now rejected.2) Comparisons and conditional operators between differently-cv-qualified pointer types now work, and produce a composite type that both source pointer types can convert to (when possible). For instance, comparison between 'int **' and 'const int **' is now valid, and uses an intermediate type of 'const int *const *'.Clang previously supported #2 as an extension.We do not accept the cases in #1 as an extension. I've tested a fair amount ofcode to check that this doesn't break it, but if it turns out that someone isrelying on this, we can easily add it back as an extension.This is a re-commit of r284800.llvm-svn: 284890 List of files: /llvm-project-15.0.7/clang/test/SemaCXX/libstdcxx_libcxx_less_hack.cpp

0c1c53e3 - DR583, DR1512: Implement a rewrite to C++'s 'composite pointer type' rules.

Fri, 21 Oct 2016 02:36:37 +0000

DR583, DR1512: Implement a rewrite to C++'s 'composite pointer type' rules.This has two significant effects:1) Direct relational comparisons between null pointer constants (0 and nullopt) and pointers are now ill-formed. This was always the case for C, and it appears that C++ only ever permitted by accident. For instance, cases like nullptr < &a are now rejected.2) Comparisons and conditional operators between differently-cv-qualified pointer types now work, and produce a composite type that both source pointer types can convert to (when possible). For instance, comparison between 'int **' and 'const int **' is now valid, and uses an intermediate type of 'const int *const *'.Clang previously supported #2 as an extension.We do not accept the cases in #1 as an extension. I've tested a fair amount ofcode to check that this doesn't break it, but if it turns out that someone isrelying on this, we can easily add it back as an extension.llvm-svn: 284800 List of files: /llvm-project-15.0.7/clang/test/SemaCXX/libstdcxx_libcxx_less_hack.cpp