Proposal to add -Wtautological-compare to -Wall

[rtrieu]

Summary

Per https://reviews.llvm.org/D66046, patch to move -Wtautological-compare to -Wmost, which also adds it to -Wall. Some warnings in -Wtautological-compare and its diagnostic sub-groups are DefaultIgnore, so making them visible in -Wall will make them more discoverable overall.

[xbolva00]

Cool!

[thakis]

Abstractly this lgtm. Do you have any data on true / false positive rates?

[xbolva00]

https://github.com/ClangBuiltLinux/linux/issues/488#issuecomment-545218125

[aaron.ballman]

I agree with the changes and want to see this go in, but it needs a test case.

[rtrieu]

In D69292#1718415, @thakis wrote:

Abstractly this lgtm. Do you have any data on true / false positive rates?

Looking at the various warnings in -Wtautological-compare, only -Wtautological-overlap-compare and -Wtautological-bitwise-compare are not on by default. During my last try with those, they were very high value, and had low or no false posivites.

@xbolva00 linked to someone testing out -Wtautological-compare. The results don't show any warnings from the bitwise or overlap warnings.

In D69292#1719093, @aaron.ballman wrote:

I agree with the changes and want to see this go in, but it needs a test case.

Would this be better if we had a specific test to verify all the warning groups in -Wall? I could see something using diagtool to list and check all the warnings.

[thakis]

This is imho basic enough that it doesn't need a test. A test for this doesn't add any value that I can see.

[aaron.ballman]

In D69292#1722162, @thakis wrote:

This is imho basic enough that it doesn't need a test. A test for this doesn't add any value that I can see.

The value comes from having an explicit test to demonstrate the behavior is not an accident, so when someone asks "is this behavior intentional?" the answer is more obvious from the test.

In D69292#1722102, @rtrieu wrote:

In D69292#1719093, @aaron.ballman wrote:

I agree with the changes and want to see this go in, but it needs a test case.

Would this be better if we had a specific test to verify all the warning groups in -Wall? I could see something using diagtool to list and check all the warnings.

Yeah, I think that would be better but I don't think the full -Wall testing is necessary for this change. I was mostly hoping for a trivial test that shows -Wall is sufficient to enable at least one of the tautological checks that was previously disabled.

[xbolva00]

Just use

// RUN: %clang_cc1 -fsyntax-only -verify -Wall %s
// RUN: %clang_cc1 -fsyntax-only -verify -Wtautological-bitwise-compare %s

in

clang/test/SemaCXX/warn-bitwise-compare.cpp

?

[aaron.ballman]

In D69292#1723720, @xbolva00 wrote:

Just use

// RUN: %clang_cc1 -fsyntax-only -verify -Wall %s
// RUN: %clang_cc1 -fsyntax-only -verify -Wtautological-bitwise-compare %s

in

clang/test/SemaCXX/warn-bitwise-compare.cpp

?

Yup, that's all I really need.

[xbolva00]

Re-ping @rtrieu

[rtrieu]

Add -Wall tests to check that certain warning groups are active with it and a test to check all warning groups that are turned on by -Wall.

[xbolva00]

Thanks. Looks good.

[aaron.ballman]

LGTM!

[davezarzycki]

This broke the libcxx test suite:

FAIL: libc++ :: libcxx/debug/containers/db_sequence_container_iterators.multithread.pass.cpp (50769 of 59296)
******************** TEST 'libc++ :: libcxx/debug/containers/db_sequence_container_iterators.multithread.pass.cpp' FAILED ********************
Command: ['/p/tllvm/bin/clang++', '-o', '/tmp/_update_lc/t/projects/libcxx/test/libcxx/debug/containers/Output/db_sequence_container_iterators.multithread.pass.cpp.o', '-x', 'c++', '/home/dave/s/lp/libcxx/test/libcxx/debug/containers/db_sequence_container_iterators.multithread.pass.cpp', '-c', '-v', '-ftemplate-depth=270', '-Werror=thread-safety', '-std=c++2a', '-include', '/home/dave/s/lp/libcxx/test/support/nasty_macros.h', '-nostdinc++', '-I/home/dave/s/lp/libcxx/include', '-I/tmp/_update_lc/t/projects/libcxx/include/c++build', '-D__STDC_FORMAT_MACROS', '-D__STDC_LIMIT_MACROS', '-D__STDC_CONSTANT_MACROS', '-I/home/dave/s/lp/libcxx/test/support', '-DLIBCXX_FILESYSTEM_STATIC_TEST_ROOT="/home/dave/s/lp/libcxx/test/std/input.output/filesystems/Inputs/static_test_env"', '-DLIBCXX_FILESYSTEM_DYNAMIC_TEST_ROOT="/tmp/_update_lc/t/projects/libcxx/test/filesystem/Output/dynamic_env"', '-DLIBCXX_FILESYSTEM_DYNAMIC_TEST_HELPER="/usr/bin/python /home/dave/s/lp/libcxx/test/support/filesystem_dynamic_test_helper.py"', '-D_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER', '-Wall', '-Wextra', '-Werror', '-Wuser-defined-warnings', '-Wshadow', '-Wno-unused-command-line-argument', '-Wno-attributes', '-Wno-constant-evaluated', '-Wno-pessimizing-move', '-Wno-c++11-extensions', '-Wno-user-defined-literals', '-Wno-noexcept-type', '-Wsign-compare', '-Wunused-variable', '-Wunused-parameter', '-Wunreachable-code', '-c']
Exit Code: 1
Standard Error:
--
clang version 10.0.0 (https://github.com/llvm/llvm-project.git d8b6b1114307558a5245de3806bb70f53f6f3efe)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /p/tllvm/bin
Found candidate GCC installation: /usr/lib/gcc/x86_64-redhat-linux/9
Selected GCC installation: /usr/lib/gcc/x86_64-redhat-linux/9
Candidate multilib: .;@m64
Candidate multilib: 32;@m32
Selected multilib: .;@m64
 "/p/tllvm/bin/clang-10" -cc1 -triple x86_64-unknown-linux-gnu -emit-obj -mrelax-all -disable-free -disable-llvm-verifier -discard-value-names -main-file-name db_sequence_container_iterators.multithread.pass.cpp -mrelocation-model static -mthread-model posix -mframe-pointer=all -fmath-errno -fno-rounding-math -masm-verbose -mconstructor-aliases -munwind-tables -fuse-init-array -target-cpu x86-64 -dwarf-column-info -debugger-tuning=gdb -v -nostdinc++ -resource-dir /p/tllvm/lib64/clang/10.0.0 -include /home/dave/s/lp/libcxx/test/support/nasty_macros.h -I /home/dave/s/lp/libcxx/include -I /tmp/_update_lc/t/projects/libcxx/include/c++build -D __STDC_FORMAT_MACROS -D __STDC_LIMIT_MACROS -D __STDC_CONSTANT_MACROS -I /home/dave/s/lp/libcxx/test/support -D "LIBCXX_FILESYSTEM_STATIC_TEST_ROOT=\"/home/dave/s/lp/libcxx/test/std/input.output/filesystems/Inputs/static_test_env\"" -D "LIBCXX_FILESYSTEM_DYNAMIC_TEST_ROOT=\"/tmp/_update_lc/t/projects/libcxx/test/filesystem/Output/dynamic_env\"" -D "LIBCXX_FILESYSTEM_DYNAMIC_TEST_HELPER=\"/usr/bin/python /home/dave/s/lp/libcxx/test/support/filesystem_dynamic_test_helper.py\"" -D _LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER -internal-isystem /usr/local/include -internal-isystem /p/tllvm/lib64/clang/10.0.0/include -internal-externc-isystem /include -internal-externc-isystem /usr/include -Werror=thread-safety -Wall -Wextra -Werror -Wuser-defined-warnings -Wshadow -Wno-unused-command-line-argument -Wno-attributes -Wno-constant-evaluated -Wno-pessimizing-move -Wno-c++11-extensions -Wno-user-defined-literals -Wno-noexcept-type -Wsign-compare -Wunused-variable -Wunused-parameter -Wunreachable-code -std=c++2a -fdeprecated-macro -fdebug-compilation-dir /tmp/_update_lc/t/projects/libcxx/test/libcxx/debug/containers -ftemplate-depth 270 -ferror-limit 19 -fmessage-length 0 -fgnuc-version=4.2.1 -fno-implicit-modules -fobjc-runtime=gcc -fcxx-exceptions -fexceptions -fdiagnostics-show-option -faddrsig -o /tmp/_update_lc/t/projects/libcxx/test/libcxx/debug/containers/Output/db_sequence_container_iterators.multithread.pass.cpp.o -x c++ /home/dave/s/lp/libcxx/test/libcxx/debug/containers/db_sequence_container_iterators.multithread.pass.cpp
clang -cc1 version 10.0.0 based upon LLVM 10.0.0git default target x86_64-unknown-linux-gnu
ignoring nonexistent directory "/include"
#include "..." search starts here:
#include <...> search starts here:
 /home/dave/s/lp/libcxx/include
 /tmp/_update_lc/t/projects/libcxx/include/c++build
 /home/dave/s/lp/libcxx/test/support
 /usr/local/include
 /p/tllvm/lib64/clang/10.0.0/include
 /usr/include
End of search list.
In file included from /home/dave/s/lp/libcxx/test/libcxx/debug/containers/db_sequence_container_iterators.multithread.pass.cpp:27:
/home/dave/s/lp/libcxx/test/support/container_debug_tests.h:66:26: error: overlapping comparisons always evaluate to false [-Werror,-Wtautological-overlap-compare]
  return CT_Vector >= CT && CT_ForwardList <= CT;
         ~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~
/home/dave/s/lp/libcxx/test/support/container_debug_tests.h:70:23: error: overlapping comparisons always evaluate to false [-Werror,-Wtautological-overlap-compare]
  return CT_Map >= CT && CT_MultiSet <= CT;
         ~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~
/home/dave/s/lp/libcxx/test/support/container_debug_tests.h:74:32: error: overlapping comparisons always evaluate to false [-Werror,-Wtautological-overlap-compare]
  return CT_UnorderedMap >= CT && CT_UnorderedMultiSet <= CT;
         ~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
3 errors generated.
--

Compilation failed unexpectedly!
********************
Testing:  0.. 10.. 20.. 30.. 40.. 50.. 60.. 70.. 80
FAIL: libc++ :: libcxx/debug/containers/db_string.pass.cpp (50797 of 59296)
******************** TEST 'libc++ :: libcxx/debug/containers/db_string.pass.cpp' FAILED ********************
Command: ['/p/tllvm/bin/clang++', '-o', '/tmp/_update_lc/t/projects/libcxx/test/libcxx/debug/containers/Output/db_string.pass.cpp.o', '-x', 'c++', '/home/dave/s/lp/libcxx/test/libcxx/debug/containers/db_string.pass.cpp', '-c', '-v', '-ftemplate-depth=270', '-Werror=thread-safety', '-std=c++2a', '-include', '/home/dave/s/lp/libcxx/test/support/nasty_macros.h', '-nostdinc++', '-I/home/dave/s/lp/libcxx/include', '-I/tmp/_update_lc/t/projects/libcxx/include/c++build', '-D__STDC_FORMAT_MACROS', '-D__STDC_LIMIT_MACROS', '-D__STDC_CONSTANT_MACROS', '-I/home/dave/s/lp/libcxx/test/support', '-DLIBCXX_FILESYSTEM_STATIC_TEST_ROOT="/home/dave/s/lp/libcxx/test/std/input.output/filesystems/Inputs/static_test_env"', '-DLIBCXX_FILESYSTEM_DYNAMIC_TEST_ROOT="/tmp/_update_lc/t/projects/libcxx/test/filesystem/Output/dynamic_env"', '-DLIBCXX_FILESYSTEM_DYNAMIC_TEST_HELPER="/usr/bin/python /home/dave/s/lp/libcxx/test/support/filesystem_dynamic_test_helper.py"', '-D_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER', '-Wall', '-Wextra', '-Werror', '-Wuser-defined-warnings', '-Wshadow', '-Wno-unused-command-line-argument', '-Wno-attributes', '-Wno-constant-evaluated', '-Wno-pessimizing-move', '-Wno-c++11-extensions', '-Wno-user-defined-literals', '-Wno-noexcept-type', '-Wsign-compare', '-Wunused-variable', '-Wunused-parameter', '-Wunreachable-code', '-c']
Exit Code: 1
Standard Error:
--
clang version 10.0.0 (https://github.com/llvm/llvm-project.git d8b6b1114307558a5245de3806bb70f53f6f3efe)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /p/tllvm/bin
Found candidate GCC installation: /usr/lib/gcc/x86_64-redhat-linux/9
Selected GCC installation: /usr/lib/gcc/x86_64-redhat-linux/9
Candidate multilib: .;@m64
Candidate multilib: 32;@m32
Selected multilib: .;@m64
 "/p/tllvm/bin/clang-10" -cc1 -triple x86_64-unknown-linux-gnu -emit-obj -mrelax-all -disable-free -disable-llvm-verifier -discard-value-names -main-file-name db_string.pass.cpp -mrelocation-model static -mthread-model posix -mframe-pointer=all -fmath-errno -fno-rounding-math -masm-verbose -mconstructor-aliases -munwind-tables -fuse-init-array -target-cpu x86-64 -dwarf-column-info -debugger-tuning=gdb -v -nostdinc++ -resource-dir /p/tllvm/lib64/clang/10.0.0 -include /home/dave/s/lp/libcxx/test/support/nasty_macros.h -I /home/dave/s/lp/libcxx/include -I /tmp/_update_lc/t/projects/libcxx/include/c++build -D __STDC_FORMAT_MACROS -D __STDC_LIMIT_MACROS -D __STDC_CONSTANT_MACROS -I /home/dave/s/lp/libcxx/test/support -D "LIBCXX_FILESYSTEM_STATIC_TEST_ROOT=\"/home/dave/s/lp/libcxx/test/std/input.output/filesystems/Inputs/static_test_env\"" -D "LIBCXX_FILESYSTEM_DYNAMIC_TEST_ROOT=\"/tmp/_update_lc/t/projects/libcxx/test/filesystem/Output/dynamic_env\"" -D "LIBCXX_FILESYSTEM_DYNAMIC_TEST_HELPER=\"/usr/bin/python /home/dave/s/lp/libcxx/test/support/filesystem_dynamic_test_helper.py\"" -D _LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER -internal-isystem /usr/local/include -internal-isystem /p/tllvm/lib64/clang/10.0.0/include -internal-externc-isystem /include -internal-externc-isystem /usr/include -Werror=thread-safety -Wall -Wextra -Werror -Wuser-defined-warnings -Wshadow -Wno-unused-command-line-argument -Wno-attributes -Wno-constant-evaluated -Wno-pessimizing-move -Wno-c++11-extensions -Wno-user-defined-literals -Wno-noexcept-type -Wsign-compare -Wunused-variable -Wunused-parameter -Wunreachable-code -std=c++2a -fdeprecated-macro -fdebug-compilation-dir /tmp/_update_lc/t/projects/libcxx/test/libcxx/debug/containers -ftemplate-depth 270 -ferror-limit 19 -fmessage-length 0 -fgnuc-version=4.2.1 -fno-implicit-modules -fobjc-runtime=gcc -fcxx-exceptions -fexceptions -fdiagnostics-show-option -faddrsig -o /tmp/_update_lc/t/projects/libcxx/test/libcxx/debug/containers/Output/db_string.pass.cpp.o -x c++ /home/dave/s/lp/libcxx/test/libcxx/debug/containers/db_string.pass.cpp
clang -cc1 version 10.0.0 based upon LLVM 10.0.0git default target x86_64-unknown-linux-gnu
ignoring nonexistent directory "/include"
#include "..." search starts here:
#include <...> search starts here:
 /home/dave/s/lp/libcxx/include
 /tmp/_update_lc/t/projects/libcxx/include/c++build
 /home/dave/s/lp/libcxx/test/support
 /usr/local/include
 /p/tllvm/lib64/clang/10.0.0/include
 /usr/include
End of search list.
In file included from /home/dave/s/lp/libcxx/test/libcxx/debug/containers/db_string.pass.cpp:24:
/home/dave/s/lp/libcxx/test/support/container_debug_tests.h:66:26: error: overlapping comparisons always evaluate to false [-Werror,-Wtautological-overlap-compare]
  return CT_Vector >= CT && CT_ForwardList <= CT;
         ~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~
/home/dave/s/lp/libcxx/test/support/container_debug_tests.h:70:23: error: overlapping comparisons always evaluate to false [-Werror,-Wtautological-overlap-compare]
  return CT_Map >= CT && CT_MultiSet <= CT;
         ~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~
/home/dave/s/lp/libcxx/test/support/container_debug_tests.h:74:32: error: overlapping comparisons always evaluate to false [-Werror,-Wtautological-overlap-compare]
  return CT_UnorderedMap >= CT && CT_UnorderedMultiSet <= CT;
         ~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
3 errors generated.
--

Compilation failed unexpectedly!
********************
Testing:  0.. 10.. 20.. 30.. 40.. 50.. 60.. 70.. 80
FAIL: libc++ :: libcxx/debug/containers/db_associative_container_tests.pass.cpp (50852 of 59296)
******************** TEST 'libc++ :: libcxx/debug/containers/db_associative_container_tests.pass.cpp' FAILED ********************
Command: ['/p/tllvm/bin/clang++', '-o', '/tmp/_update_lc/t/projects/libcxx/test/libcxx/debug/containers/Output/db_associative_container_tests.pass.cpp.o', '-x', 'c++', '/home/dave/s/lp/libcxx/test/libcxx/debug/containers/db_associative_container_tests.pass.cpp', '-c', '-v', '-ftemplate-depth=270', '-Werror=thread-safety', '-std=c++2a', '-include', '/home/dave/s/lp/libcxx/test/support/nasty_macros.h', '-nostdinc++', '-I/home/dave/s/lp/libcxx/include', '-I/tmp/_update_lc/t/projects/libcxx/include/c++build', '-D__STDC_FORMAT_MACROS', '-D__STDC_LIMIT_MACROS', '-D__STDC_CONSTANT_MACROS', '-I/home/dave/s/lp/libcxx/test/support', '-DLIBCXX_FILESYSTEM_STATIC_TEST_ROOT="/home/dave/s/lp/libcxx/test/std/input.output/filesystems/Inputs/static_test_env"', '-DLIBCXX_FILESYSTEM_DYNAMIC_TEST_ROOT="/tmp/_update_lc/t/projects/libcxx/test/filesystem/Output/dynamic_env"', '-DLIBCXX_FILESYSTEM_DYNAMIC_TEST_HELPER="/usr/bin/python /home/dave/s/lp/libcxx/test/support/filesystem_dynamic_test_helper.py"', '-D_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER', '-Wall', '-Wextra', '-Werror', '-Wuser-defined-warnings', '-Wshadow', '-Wno-unused-command-line-argument', '-Wno-attributes', '-Wno-constant-evaluated', '-Wno-pessimizing-move', '-Wno-c++11-extensions', '-Wno-user-defined-literals', '-Wno-noexcept-type', '-Wsign-compare', '-Wunused-variable', '-Wunused-parameter', '-Wunreachable-code', '-c']
Exit Code: 1
Standard Error:
--
clang version 10.0.0 (https://github.com/llvm/llvm-project.git d8b6b1114307558a5245de3806bb70f53f6f3efe)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /p/tllvm/bin
Found candidate GCC installation: /usr/lib/gcc/x86_64-redhat-linux/9
Selected GCC installation: /usr/lib/gcc/x86_64-redhat-linux/9
Candidate multilib: .;@m64
Candidate multilib: 32;@m32
Selected multilib: .;@m64
 "/p/tllvm/bin/clang-10" -cc1 -triple x86_64-unknown-linux-gnu -emit-obj -mrelax-all -disable-free -disable-llvm-verifier -discard-value-names -main-file-name db_associative_container_tests.pass.cpp -mrelocation-model static -mthread-model posix -mframe-pointer=all -fmath-errno -fno-rounding-math -masm-verbose -mconstructor-aliases -munwind-tables -fuse-init-array -target-cpu x86-64 -dwarf-column-info -debugger-tuning=gdb -v -nostdinc++ -resource-dir /p/tllvm/lib64/clang/10.0.0 -include /home/dave/s/lp/libcxx/test/support/nasty_macros.h -I /home/dave/s/lp/libcxx/include -I /tmp/_update_lc/t/projects/libcxx/include/c++build -D __STDC_FORMAT_MACROS -D __STDC_LIMIT_MACROS -D __STDC_CONSTANT_MACROS -I /home/dave/s/lp/libcxx/test/support -D "LIBCXX_FILESYSTEM_STATIC_TEST_ROOT=\"/home/dave/s/lp/libcxx/test/std/input.output/filesystems/Inputs/static_test_env\"" -D "LIBCXX_FILESYSTEM_DYNAMIC_TEST_ROOT=\"/tmp/_update_lc/t/projects/libcxx/test/filesystem/Output/dynamic_env\"" -D "LIBCXX_FILESYSTEM_DYNAMIC_TEST_HELPER=\"/usr/bin/python /home/dave/s/lp/libcxx/test/support/filesystem_dynamic_test_helper.py\"" -D _LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER -internal-isystem /usr/local/include -internal-isystem /p/tllvm/lib64/clang/10.0.0/include -internal-externc-isystem /include -internal-externc-isystem /usr/include -Werror=thread-safety -Wall -Wextra -Werror -Wuser-defined-warnings -Wshadow -Wno-unused-command-line-argument -Wno-attributes -Wno-constant-evaluated -Wno-pessimizing-move -Wno-c++11-extensions -Wno-user-defined-literals -Wno-noexcept-type -Wsign-compare -Wunused-variable -Wunused-parameter -Wunreachable-code -std=c++2a -fdeprecated-macro -fdebug-compilation-dir /tmp/_update_lc/t/projects/libcxx/test/libcxx/debug/containers -ftemplate-depth 270 -ferror-limit 19 -fmessage-length 0 -fgnuc-version=4.2.1 -fno-implicit-modules -fobjc-runtime=gcc -fcxx-exceptions -fexceptions -fdiagnostics-show-option -faddrsig -o /tmp/_update_lc/t/projects/libcxx/test/libcxx/debug/containers/Output/db_associative_container_tests.pass.cpp.o -x c++ /home/dave/s/lp/libcxx/test/libcxx/debug/containers/db_associative_container_tests.pass.cpp
clang -cc1 version 10.0.0 based upon LLVM 10.0.0git default target x86_64-unknown-linux-gnu
ignoring nonexistent directory "/include"
#include "..." search starts here:
#include <...> search starts here:
 /home/dave/s/lp/libcxx/include
 /tmp/_update_lc/t/projects/libcxx/include/c++build
 /home/dave/s/lp/libcxx/test/support
 /usr/local/include
 /p/tllvm/lib64/clang/10.0.0/include
 /usr/include
End of search list.
In file included from /home/dave/s/lp/libcxx/test/libcxx/debug/containers/db_associative_container_tests.pass.cpp:25:
/home/dave/s/lp/libcxx/test/support/container_debug_tests.h:66:26: error: overlapping comparisons always evaluate to false [-Werror,-Wtautological-overlap-compare]
  return CT_Vector >= CT && CT_ForwardList <= CT;
         ~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~
/home/dave/s/lp/libcxx/test/support/container_debug_tests.h:70:23: error: overlapping comparisons always evaluate to false [-Werror,-Wtautological-overlap-compare]
  return CT_Map >= CT && CT_MultiSet <= CT;
         ~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~
/home/dave/s/lp/libcxx/test/support/container_debug_tests.h:74:32: error: overlapping comparisons always evaluate to false [-Werror,-Wtautological-overlap-compare]
  return CT_UnorderedMap >= CT && CT_UnorderedMultiSet <= CT;
         ~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
3 errors generated.
--

Compilation failed unexpectedly!
********************
Testing:  0.. 10.. 20.. 30.. 40.. 50.. 60.. 70.. 80
FAIL: libc++ :: libcxx/debug/containers/db_unord_container_tests.pass.cpp (50856 of 59296)
******************** TEST 'libc++ :: libcxx/debug/containers/db_unord_container_tests.pass.cpp' FAILED ********************
Command: ['/p/tllvm/bin/clang++', '-o', '/tmp/_update_lc/t/projects/libcxx/test/libcxx/debug/containers/Output/db_unord_container_tests.pass.cpp.o', '-x', 'c++', '/home/dave/s/lp/libcxx/test/libcxx/debug/containers/db_unord_container_tests.pass.cpp', '-c', '-v', '-ftemplate-depth=270', '-Werror=thread-safety', '-std=c++2a', '-include', '/home/dave/s/lp/libcxx/test/support/nasty_macros.h', '-nostdinc++', '-I/home/dave/s/lp/libcxx/include', '-I/tmp/_update_lc/t/projects/libcxx/include/c++build', '-D__STDC_FORMAT_MACROS', '-D__STDC_LIMIT_MACROS', '-D__STDC_CONSTANT_MACROS', '-I/home/dave/s/lp/libcxx/test/support', '-DLIBCXX_FILESYSTEM_STATIC_TEST_ROOT="/home/dave/s/lp/libcxx/test/std/input.output/filesystems/Inputs/static_test_env"', '-DLIBCXX_FILESYSTEM_DYNAMIC_TEST_ROOT="/tmp/_update_lc/t/projects/libcxx/test/filesystem/Output/dynamic_env"', '-DLIBCXX_FILESYSTEM_DYNAMIC_TEST_HELPER="/usr/bin/python /home/dave/s/lp/libcxx/test/support/filesystem_dynamic_test_helper.py"', '-D_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER', '-Wall', '-Wextra', '-Werror', '-Wuser-defined-warnings', '-Wshadow', '-Wno-unused-command-line-argument', '-Wno-attributes', '-Wno-constant-evaluated', '-Wno-pessimizing-move', '-Wno-c++11-extensions', '-Wno-user-defined-literals', '-Wno-noexcept-type', '-Wsign-compare', '-Wunused-variable', '-Wunused-parameter', '-Wunreachable-code', '-c']
Exit Code: 1
Standard Error:
--
clang version 10.0.0 (https://github.com/llvm/llvm-project.git d8b6b1114307558a5245de3806bb70f53f6f3efe)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /p/tllvm/bin
Found candidate GCC installation: /usr/lib/gcc/x86_64-redhat-linux/9
Selected GCC installation: /usr/lib/gcc/x86_64-redhat-linux/9
Candidate multilib: .;@m64
Candidate multilib: 32;@m32
Selected multilib: .;@m64
 "/p/tllvm/bin/clang-10" -cc1 -triple x86_64-unknown-linux-gnu -emit-obj -mrelax-all -disable-free -disable-llvm-verifier -discard-value-names -main-file-name db_unord_container_tests.pass.cpp -mrelocation-model static -mthread-model posix -mframe-pointer=all -fmath-errno -fno-rounding-math -masm-verbose -mconstructor-aliases -munwind-tables -fuse-init-array -target-cpu x86-64 -dwarf-column-info -debugger-tuning=gdb -v -nostdinc++ -resource-dir /p/tllvm/lib64/clang/10.0.0 -include /home/dave/s/lp/libcxx/test/support/nasty_macros.h -I /home/dave/s/lp/libcxx/include -I /tmp/_update_lc/t/projects/libcxx/include/c++build -D __STDC_FORMAT_MACROS -D __STDC_LIMIT_MACROS -D __STDC_CONSTANT_MACROS -I /home/dave/s/lp/libcxx/test/support -D "LIBCXX_FILESYSTEM_STATIC_TEST_ROOT=\"/home/dave/s/lp/libcxx/test/std/input.output/filesystems/Inputs/static_test_env\"" -D "LIBCXX_FILESYSTEM_DYNAMIC_TEST_ROOT=\"/tmp/_update_lc/t/projects/libcxx/test/filesystem/Output/dynamic_env\"" -D "LIBCXX_FILESYSTEM_DYNAMIC_TEST_HELPER=\"/usr/bin/python /home/dave/s/lp/libcxx/test/support/filesystem_dynamic_test_helper.py\"" -D _LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER -internal-isystem /usr/local/include -internal-isystem /p/tllvm/lib64/clang/10.0.0/include -internal-externc-isystem /include -internal-externc-isystem /usr/include -Werror=thread-safety -Wall -Wextra -Werror -Wuser-defined-warnings -Wshadow -Wno-unused-command-line-argument -Wno-attributes -Wno-constant-evaluated -Wno-pessimizing-move -Wno-c++11-extensions -Wno-user-defined-literals -Wno-noexcept-type -Wsign-compare -Wunused-variable -Wunused-parameter -Wunreachable-code -std=c++2a -fdeprecated-macro -fdebug-compilation-dir /tmp/_update_lc/t/projects/libcxx/test/libcxx/debug/containers -ftemplate-depth 270 -ferror-limit 19 -fmessage-length 0 -fgnuc-version=4.2.1 -fno-implicit-modules -fobjc-runtime=gcc -fcxx-exceptions -fexceptions -fdiagnostics-show-option -faddrsig -o /tmp/_update_lc/t/projects/libcxx/test/libcxx/debug/containers/Output/db_unord_container_tests.pass.cpp.o -x c++ /home/dave/s/lp/libcxx/test/libcxx/debug/containers/db_unord_container_tests.pass.cpp
clang -cc1 version 10.0.0 based upon LLVM 10.0.0git default target x86_64-unknown-linux-gnu
ignoring nonexistent directory "/include"
#include "..." search starts here:
#include <...> search starts here:
 /home/dave/s/lp/libcxx/include
 /tmp/_update_lc/t/projects/libcxx/include/c++build
 /home/dave/s/lp/libcxx/test/support
 /usr/local/include
 /p/tllvm/lib64/clang/10.0.0/include
 /usr/include
End of search list.
In file included from /home/dave/s/lp/libcxx/test/libcxx/debug/containers/db_unord_container_tests.pass.cpp:24:
/home/dave/s/lp/libcxx/test/support/container_debug_tests.h:66:26: error: overlapping comparisons always evaluate to false [-Werror,-Wtautological-overlap-compare]
  return CT_Vector >= CT && CT_ForwardList <= CT;
         ~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~
/home/dave/s/lp/libcxx/test/support/container_debug_tests.h:70:23: error: overlapping comparisons always evaluate to false [-Werror,-Wtautological-overlap-compare]
  return CT_Map >= CT && CT_MultiSet <= CT;
         ~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~
/home/dave/s/lp/libcxx/test/support/container_debug_tests.h:74:32: error: overlapping comparisons always evaluate to false [-Werror,-Wtautological-overlap-compare]
  return CT_UnorderedMap >= CT && CT_UnorderedMultiSet <= CT;
         ~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
3 errors generated.
--

Compilation failed unexpectedly!
********************
Testing:  0.. 10.. 20.. 30.. 40.. 50.. 60.. 70.. 80
FAIL: libc++ :: libcxx/debug/containers/db_sequence_container_iterators.pass.cpp (50945 of 59296)
******************** TEST 'libc++ :: libcxx/debug/containers/db_sequence_container_iterators.pass.cpp' FAILED ********************
Command: ['/p/tllvm/bin/clang++', '-o', '/tmp/_update_lc/t/projects/libcxx/test/libcxx/debug/containers/Output/db_sequence_container_iterators.pass.cpp.o', '-x', 'c++', '/home/dave/s/lp/libcxx/test/libcxx/debug/containers/db_sequence_container_iterators.pass.cpp', '-c', '-v', '-ftemplate-depth=270', '-Werror=thread-safety', '-std=c++2a', '-include', '/home/dave/s/lp/libcxx/test/support/nasty_macros.h', '-nostdinc++', '-I/home/dave/s/lp/libcxx/include', '-I/tmp/_update_lc/t/projects/libcxx/include/c++build', '-D__STDC_FORMAT_MACROS', '-D__STDC_LIMIT_MACROS', '-D__STDC_CONSTANT_MACROS', '-I/home/dave/s/lp/libcxx/test/support', '-DLIBCXX_FILESYSTEM_STATIC_TEST_ROOT="/home/dave/s/lp/libcxx/test/std/input.output/filesystems/Inputs/static_test_env"', '-DLIBCXX_FILESYSTEM_DYNAMIC_TEST_ROOT="/tmp/_update_lc/t/projects/libcxx/test/filesystem/Output/dynamic_env"', '-DLIBCXX_FILESYSTEM_DYNAMIC_TEST_HELPER="/usr/bin/python /home/dave/s/lp/libcxx/test/support/filesystem_dynamic_test_helper.py"', '-D_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER', '-Wall', '-Wextra', '-Werror', '-Wuser-defined-warnings', '-Wshadow', '-Wno-unused-command-line-argument', '-Wno-attributes', '-Wno-constant-evaluated', '-Wno-pessimizing-move', '-Wno-c++11-extensions', '-Wno-user-defined-literals', '-Wno-noexcept-type', '-Wsign-compare', '-Wunused-variable', '-Wunused-parameter', '-Wunreachable-code', '-c']
Exit Code: 1
Standard Error:
--
clang version 10.0.0 (https://github.com/llvm/llvm-project.git d8b6b1114307558a5245de3806bb70f53f6f3efe)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /p/tllvm/bin
Found candidate GCC installation: /usr/lib/gcc/x86_64-redhat-linux/9
Selected GCC installation: /usr/lib/gcc/x86_64-redhat-linux/9
Candidate multilib: .;@m64
Candidate multilib: 32;@m32
Selected multilib: .;@m64
 "/p/tllvm/bin/clang-10" -cc1 -triple x86_64-unknown-linux-gnu -emit-obj -mrelax-all -disable-free -disable-llvm-verifier -discard-value-names -main-file-name db_sequence_container_iterators.pass.cpp -mrelocation-model static -mthread-model posix -mframe-pointer=all -fmath-errno -fno-rounding-math -masm-verbose -mconstructor-aliases -munwind-tables -fuse-init-array -target-cpu x86-64 -dwarf-column-info -debugger-tuning=gdb -v -nostdinc++ -resource-dir /p/tllvm/lib64/clang/10.0.0 -include /home/dave/s/lp/libcxx/test/support/nasty_macros.h -I /home/dave/s/lp/libcxx/include -I /tmp/_update_lc/t/projects/libcxx/include/c++build -D __STDC_FORMAT_MACROS -D __STDC_LIMIT_MACROS -D __STDC_CONSTANT_MACROS -I /home/dave/s/lp/libcxx/test/support -D "LIBCXX_FILESYSTEM_STATIC_TEST_ROOT=\"/home/dave/s/lp/libcxx/test/std/input.output/filesystems/Inputs/static_test_env\"" -D "LIBCXX_FILESYSTEM_DYNAMIC_TEST_ROOT=\"/tmp/_update_lc/t/projects/libcxx/test/filesystem/Output/dynamic_env\"" -D "LIBCXX_FILESYSTEM_DYNAMIC_TEST_HELPER=\"/usr/bin/python /home/dave/s/lp/libcxx/test/support/filesystem_dynamic_test_helper.py\"" -D _LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER -internal-isystem /usr/local/include -internal-isystem /p/tllvm/lib64/clang/10.0.0/include -internal-externc-isystem /include -internal-externc-isystem /usr/include -Werror=thread-safety -Wall -Wextra -Werror -Wuser-defined-warnings -Wshadow -Wno-unused-command-line-argument -Wno-attributes -Wno-constant-evaluated -Wno-pessimizing-move -Wno-c++11-extensions -Wno-user-defined-literals -Wno-noexcept-type -Wsign-compare -Wunused-variable -Wunused-parameter -Wunreachable-code -std=c++2a -fdeprecated-macro -fdebug-compilation-dir /tmp/_update_lc/t/projects/libcxx/test/libcxx/debug/containers -ftemplate-depth 270 -ferror-limit 19 -fmessage-length 0 -fgnuc-version=4.2.1 -fno-implicit-modules -fobjc-runtime=gcc -fcxx-exceptions -fexceptions -fdiagnostics-show-option -faddrsig -o /tmp/_update_lc/t/projects/libcxx/test/libcxx/debug/containers/Output/db_sequence_container_iterators.pass.cpp.o -x c++ /home/dave/s/lp/libcxx/test/libcxx/debug/containers/db_sequence_container_iterators.pass.cpp
clang -cc1 version 10.0.0 based upon LLVM 10.0.0git default target x86_64-unknown-linux-gnu
ignoring nonexistent directory "/include"
#include "..." search starts here:
#include <...> search starts here:
 /home/dave/s/lp/libcxx/include
 /tmp/_update_lc/t/projects/libcxx/include/c++build
 /home/dave/s/lp/libcxx/test/support
 /usr/local/include
 /p/tllvm/lib64/clang/10.0.0/include
 /usr/include
End of search list.
In file included from /home/dave/s/lp/libcxx/test/libcxx/debug/containers/db_sequence_container_iterators.pass.cpp:25:
/home/dave/s/lp/libcxx/test/support/container_debug_tests.h:66:26: error: overlapping comparisons always evaluate to false [-Werror,-Wtautological-overlap-compare]
  return CT_Vector >= CT && CT_ForwardList <= CT;
         ~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~
/home/dave/s/lp/libcxx/test/support/container_debug_tests.h:70:23: error: overlapping comparisons always evaluate to false [-Werror,-Wtautological-overlap-compare]
  return CT_Map >= CT && CT_MultiSet <= CT;
         ~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~
/home/dave/s/lp/libcxx/test/support/container_debug_tests.h:74:32: error: overlapping comparisons always evaluate to false [-Werror,-Wtautological-overlap-compare]
  return CT_UnorderedMap >= CT && CT_UnorderedMultiSet <= CT;
         ~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
3 errors generated.
--

Compilation failed unexpectedly!
********************
Testing:  0.. 10.. 20.. 30.. 40.. 50.. 60.. 70.. 80.. 90.. 

10 warning(s) in tests.

Testing Time: 109.62s
********************
Failing Tests (5):
    libc++ :: libcxx/debug/containers/db_associative_container_tests.pass.cpp
    libc++ :: libcxx/debug/containers/db_sequence_container_iterators.multithread.pass.cpp
    libc++ :: libcxx/debug/containers/db_sequence_container_iterators.pass.cpp
    libc++ :: libcxx/debug/containers/db_string.pass.cpp
    libc++ :: libcxx/debug/containers/db_unord_container_tests.pass.cpp

  Expected Passes    : 43467
  Expected Failures  : 103
  Unsupported Tests  : 15721
  Unexpected Failures: 5

[xbolva00]

So use similar fix as I did:

https://reviews.llvm.org/D69708

[davezarzycki]

Let's just fix the bug: 1d55c9e59ebf3f3ff572d42da433b2f72f1ce900

[mclow.lists]

Sorry I'm late to the party; I've been traveling for 3+ weeks.
I would like to be reassured that the following code will not warn:

`
long foo = ...; // some calculation
if (foo < std::numeric_limits<int>::min() || foo > std::numeric_limits<int>::max()) .....

This is important for systems where sizeof(int) == sizeof(long)

[rtrieu]

In D69292#1747062, @mclow.lists wrote:

Sorry I'm late to the party; I've been traveling for 3+ weeks.
I would like to be reassured that the following code will not warn:

`
long foo = ...; // some calculation
if (foo < std::numeric_limits<int>::min() || foo > std::numeric_limits<int>::max()) .....

This is important for systems where sizeof(int) == sizeof(long)

The question is whether there's a warning when a value is tautologically compared with the min or max of that value's type. They fall under -Wtype-limits or -Wtautological-constant-in-range-compare. Despite the "tautological" in the name, they do not fall under -Wtautological-compare. Therefore, your example code will not get any warnings with -Wall.

I checked the clang tests and this covered by test/Sema/tautological-constant-compare.c, testing both the warnings is active only when the specific warning groups are active (the #ifdef TEST sections) and that the warnings are off for no warning flags, just -Wextra, and just -Wall.

include/clang/Basic/DiagnosticGroups.td

def Most : DiagGroup<"most", [
     MultiChar,
     Reorder,
     ReturnType,
     SelfAssignment,
     SelfMove,
     SizeofArrayArgument,
     SizeofArrayDecay,
     StringPlusInt,
+    TautologicalCompare,
     Trigraphs,
     Uninitialized,
     UnknownPragmas,
     Unused,
     VolatileRegisterVar,
     ObjCMissingSuperCalls,
     ObjCDesignatedInit,
     ObjCFlexibleArray,

test/Misc/warning-wall.c

+RUN: diagtool tree -Wall > %t 2>&1
+RUN: FileCheck --input-file=%t %s
+
+     CHECK:-Wall
+CHECK-NEXT:  -Wmost
+CHECK-NEXT:    -Wchar-subscripts
+CHECK-NEXT:    -Wcomment
+CHECK-NEXT:    -Wdelete-non-virtual-dtor
+CHECK-NEXT:      -Wdelete-non-abstract-non-virtual-dtor
+CHECK-NEXT:      -Wdelete-abstract-non-virtual-dtor
+CHECK-NEXT:    -Wfor-loop-analysis
+CHECK-NEXT:    -Wformat
+CHECK-NEXT:      -Wformat-extra-args
+CHECK-NEXT:      -Wformat-zero-length
+CHECK-NEXT:      -Wnonnull
+CHECK-NEXT:      -Wformat-security
+CHECK-NEXT:      -Wformat-y2k
+CHECK-NEXT:      -Wformat-invalid-specifier
+CHECK-NEXT:    -Wimplicit
+CHECK-NEXT:      -Wimplicit-function-declaration
+CHECK-NEXT:      -Wimplicit-int
+CHECK-NEXT:    -Winfinite-recursion
+CHECK-NEXT:    -Wint-in-bool-context
+CHECK-NEXT:    -Wmismatched-tags
+CHECK-NEXT:    -Wmissing-braces
+CHECK-NEXT:    -Wmove
+CHECK-NEXT:      -Wpessimizing-move
+CHECK-NEXT:      -Wredundant-move
+CHECK-NEXT:      -Wreturn-std-move
+CHECK-NEXT:      -Wself-move
+CHECK-NEXT:    -Wmultichar
+CHECK-NEXT:    -Wreorder
+CHECK-NEXT:      -Wreorder-ctor
+CHECK-NEXT:      -Wreorder-init-list
+CHECK-NEXT:    -Wreturn-type
+CHECK-NEXT:      -Wreturn-type-c-linkage
+CHECK-NEXT:    -Wself-assign
+CHECK-NEXT:      -Wself-assign-overloaded
+CHECK-NEXT:      -Wself-assign-field
+CHECK-NEXT:    -Wself-move
+CHECK-NEXT:    -Wsizeof-array-argument
+CHECK-NEXT:    -Wsizeof-array-decay
+CHECK-NEXT:    -Wstring-plus-int
+CHECK-NEXT:    -Wtautological-compare
+CHECK-NEXT:      -Wtautological-constant-compare
+CHECK-NEXT:        -Wtautological-constant-out-of-range-compare
+CHECK-NEXT:      -Wtautological-pointer-compare
+CHECK-NEXT:      -Wtautological-overlap-compare
+CHECK-NEXT:      -Wtautological-bitwise-compare
+CHECK-NEXT:      -Wtautological-undefined-compare
+CHECK-NEXT:      -Wtautological-objc-bool-compare
+CHECK-NEXT:    -Wtrigraphs
+CHECK-NEXT:    -Wuninitialized
+CHECK-NEXT:      -Wsometimes-uninitialized
+CHECK-NEXT:      -Wstatic-self-init
+CHECK-NEXT:    -Wunknown-pragmas
+CHECK-NEXT:    -Wunused
+CHECK-NEXT:      -Wunused-argument
+CHECK-NEXT:      -Wunused-function
+CHECK-NEXT:        -Wunneeded-internal-declaration
+CHECK-NEXT:      -Wunused-label
+CHECK-NEXT:      -Wunused-private-field
+CHECK-NEXT:      -Wunused-lambda-capture
+CHECK-NEXT:      -Wunused-local-typedef
+CHECK-NEXT:      -Wunused-value
+CHECK-NEXT:        -Wunused-comparison
+CHECK-NEXT:        -Wunused-result
+CHECK-NEXT:        -Wunevaluated-expression
+CHECK-NEXT:          -Wpotentially-evaluated-expression
+CHECK-NEXT:      -Wunused-variable
+CHECK-NEXT:        -Wunused-const-variable
+CHECK-NEXT:      -Wunused-property-ivar
+CHECK-NEXT:    -Wvolatile-register-var
+CHECK-NEXT:    -Wobjc-missing-super-calls
+CHECK-NEXT:    -Wobjc-designated-initializers
+CHECK-NEXT:    -Wobjc-flexible-array
+CHECK-NEXT:    -Woverloaded-virtual
+CHECK-NEXT:    -Wprivate-extern
+CHECK-NEXT:    -Wcast-of-sel-type
+CHECK-NEXT:    -Wextern-c-compat
+CHECK-NEXT:    -Wuser-defined-warnings
+CHECK-NEXT:  -Wparentheses
+CHECK-NEXT:    -Wlogical-op-parentheses
+CHECK-NEXT:    -Wlogical-not-parentheses
+CHECK-NEXT:    -Wbitwise-conditional-parentheses
+CHECK-NEXT:    -Wbitwise-op-parentheses
+CHECK-NEXT:    -Wshift-op-parentheses
+CHECK-NEXT:    -Woverloaded-shift-op-parentheses
+CHECK-NEXT:    -Wparentheses-equality
+CHECK-NEXT:    -Wdangling-else
+CHECK-NEXT:  -Wswitch
+CHECK-NEXT:  -Wswitch-bool
+
+
+CHECK-NOT:-W

test/Sema/warn-bitwise-compare.c

 // RUN: %clang_cc1 -fsyntax-only -verify -Wtautological-bitwise-compare %s
+// RUN: %clang_cc1 -fsyntax-only -verify -Wall -Wno-unused %s
 
 #define mydefine 2
 
 enum {
   ZERO,
   ONE,
 };
 

test/Sema/warn-overlap.c

 // RUN: %clang_cc1 -fsyntax-only -verify -Wtautological-overlap-compare %s
+// RUN: %clang_cc1 -fsyntax-only -verify -Wall -Wno-unused -Wno-loop-analysis %s
 
 #define mydefine 2
 
 enum Choices {
   CHOICE_0 = 0,
   CHOICE_1 = 1
 };
 

test/SemaCXX/warn-bitwise-compare.cpp

 // RUN: %clang_cc1 -fsyntax-only -verify -Wtautological-bitwise-compare %s
+// RUN: %clang_cc1 -fsyntax-only -verify -Wall -Wno-unused %s
 
 void test(int x) {
   bool b1 = (8 & x) == 3;
   // expected-warning@-1 {{bitwise comparison always evaluates to false}}
   bool b2 = x | 5;
   // expected-warning@-1 {{bitwise or with non-zero value always evaluates to true}}
   bool b3 = (x | 5);
   // expected-warning@-1 {{bitwise or with non-zero value always evaluates to true}}
   bool b4 = !!(x | 5);
   // expected-warning@-1 {{bitwise or with non-zero value always evaluates to true}}
 }