{"owner":"nuudlman","repo":"llvm","channel":"main","channels":["main"],"can_delete":true,"inode":{"File":{"path":[{"basename":"clang","pos":"7OVOGA6QKF5OI.EJBFAJQ","meta":576},{"basename":"test","pos":"7OVOGA6QKF5OI.RXSO6JQ","meta":576},{"basename":"Sema","pos":"7OVOGA6QKF5OI.WFZF2JY","meta":576},{"basename":"tautological-unsigned-enum-zero-compare.cpp","pos":"7OVOGA6QKF5OI.MAIWMJY","meta":0}],"file":"// RUN: %clang_cc1 -std=c++11 -triple=x86_64-pc-linux-gnu -fsyntax-only \\\n// RUN: -Wtautological-unsigned-enum-zero-compare \\\n// RUN: -verify=unsigned,unsigned-signed %s\n// RUN: %clang_cc1 -std=c++11 -triple=x86_64-pc-win32 -fsyntax-only \\\n// RUN: -Wtautological-unsigned-enum-zero-compare \\\n// RUN: -verify=unsigned-signed %s\n// RUN: %clang_cc1 -std=c++11 -triple=x86_64-pc-win32 -fsyntax-only \\\n// RUN: -verify=silence %s\n\n// silence-no-diagnostics\n\nint main() {\n // On Windows, all enumerations have a fixed underlying type, which is 'int'\n // if not otherwise specified, so A is identical to C on Windows. Otherwise,\n // we follow the C++ rules, which say that the only valid values of A are 0\n // and 1.\n enum A { A_foo = 0, A_bar, };\n enum A a;\n\n enum B : unsigned { B_foo = 0, B_bar, };\n enum B b;\n\n enum C : signed { C_foo = 0, C_bar, };\n enum C c;\n\n if (a < 0) // unsigned-warning {{comparison of unsigned enum expression < 0 is always false}}\n return 0;\n if (0 >= a)\n return 0;\n if (a > 0)\n return 0;\n if (0 <= a) // unsigned-warning {{comparison of 0 <= unsigned enum expression is always true}}\n return 0;\n if (a <= 0)\n return 0;\n if (0 > a) // unsigned-warning {{comparison of 0 > unsigned enum expression is always false}}\n return 0;\n if (a >= 0) // unsigned-warning {{comparison of unsigned enum expression >= 0 is always true}}\n return 0;\n if (0 < a)\n return 0;\n\n // FIXME: As below, the issue here is that the enumeration is promoted to\n // unsigned.\n if (a < 0U) // unsigned-signed-warning {{comparison of unsigned enum expression < 0 is always false}}\n return 0;\n if (0U >= a)\n return 0;\n if (a > 0U)\n return 0;\n if (0U <= a) // unsigned-signed-warning {{comparison of 0 <= unsigned enum expression is always true}}\n return 0;\n if (a <= 0U)\n return 0;\n if (0U > a) // unsigned-signed-warning {{comparison of 0 > unsigned enum expression is always false}}\n return 0;\n if (a >= 0U) // unsigned-signed-warning {{comparison of unsigned enum expression >= 0 is always true}}\n return 0;\n if (0U < a)\n return 0;\n\n if (b < 0) // unsigned-signed-warning {{comparison of unsigned enum expression < 0 is always false}}\n return 0;\n if (0 >= b)\n return 0;\n if (b > 0)\n return 0;\n if (0 <= b) // unsigned-signed-warning {{comparison of 0 <= unsigned enum expression is always true}}\n return 0;\n if (b <= 0)\n return 0;\n if (0 > b) // unsigned-signed-warning {{comparison of 0 > unsigned enum expression is always false}}\n return 0;\n if (b >= 0) // unsigned-signed-warning {{comparison of unsigned enum expression >= 0 is always true}}\n return 0;\n if (0 < b)\n return 0;\n\n if (b < 0U) // unsigned-signed-warning {{comparison of unsigned enum expression < 0 is always false}}\n return 0;\n if (0U >= b)\n return 0;\n if (b > 0U)\n return 0;\n if (0U <= b) // unsigned-signed-warning {{comparison of 0 <= unsigned enum expression is always true}}\n return 0;\n if (b <= 0U)\n return 0;\n if (0U > b) // unsigned-signed-warning {{comparison of 0 > unsigned enum expression is always false}}\n return 0;\n if (b >= 0U) // unsigned-signed-warning {{comparison of unsigned enum expression >= 0 is always true}}\n return 0;\n if (0U < b)\n return 0;\n\n if (c < 0)\n return 0;\n if (0 >= c)\n return 0;\n if (c > 0)\n return 0;\n if (0 <= c)\n return 0;\n if (c <= 0)\n return 0;\n if (0 > c)\n return 0;\n if (c >= 0)\n return 0;\n if (0 < c)\n return 0;\n\n // FIXME: These diagnostics are terrible. The issue here is that the signed\n // enumeration value was promoted to an unsigned type.\n if (c < 0U) // unsigned-signed-warning {{comparison of unsigned enum expression < 0 is always false}}\n return 0;\n if (0U >= c)\n return 0;\n if (c > 0U)\n return 0;\n if (0U <= c) // unsigned-signed-warning {{comparison of 0 <= unsigned enum expression is always true}}\n return 0;\n if (c <= 0U)\n return 0;\n if (0U > c) // unsigned-signed-warning {{comparison of 0 > unsigned enum expression is always false}}\n return 0;\n if (c >= 0U) // unsigned-signed-warning {{comparison of unsigned enum expression >= 0 is always true}}\n return 0;\n if (0U < c)\n return 0;\n\n return 1;\n}\n\nnamespace crash_enum_zero_width {\nint test() {\n enum A : unsigned {\n A_foo = 0\n };\n enum A a;\n\n // used to crash in llvm::APSInt::getMaxValue()\n if (a < 0) // unsigned-signed-warning {{comparison of unsigned enum expression < 0 is always false}}\n return 0;\n\n return 1;\n}\n} // namespace crash_enum_zero_width\n"}},"token":"8WXHk1kHkbO/KLyq94D7qqoY4lk5gOg8wGsYOODkw4k=","login":null}