// RUN: %clang_cc1 -triple x86_64-linux-gnu -fsyntax-only -Wtautological-constant-in-range-compare -DTEST -verify %s // RUN: %clang_cc1 -triple x86_64-linux-gnu -fsyntax-only -Wtautological-constant-in-range-compare -DTEST -verify -x c++ %s // RUN: %clang_cc1 -triple x86_64-linux-gnu -fsyntax-only -Wtautological-type-limit-compare -DTEST -verify %s // RUN: %clang_cc1 -triple x86_64-linux-gnu -fsyntax-only -Wtautological-type-limit-compare -DTEST -verify -x c++ %s // RUN: %clang_cc1 -triple x86_64-linux-gnu -fsyntax-only -Wextra -Wno-sign-compare -verify %s // RUN: %clang_cc1 -triple x86_64-linux-gnu -fsyntax-only -Wextra -Wno-sign-compare -verify -x c++ %s // RUN: %clang_cc1 -triple x86_64-linux-gnu -fsyntax-only -Wall -verify %s // RUN: %clang_cc1 -triple x86_64-linux-gnu -fsyntax-only -Wall -verify -x c++ %s // RUN: %clang_cc1 -triple x86_64-linux-gnu -fsyntax-only -verify %s // RUN: %clang_cc1 -triple x86_64-linux-gnu -fsyntax-only -verify -x c++ %s int value(void); #define macro(val) val #ifdef __cplusplus template void TFunc() { // Make sure that we do warn for normal variables in template functions ! unsigned char c = value(); #ifdef TEST if (c > 255) // expected-warning {{comparison 'unsigned char' > 255 is always false}} return; #else if (c > 255) return; #endif if (c > macro(255)) return; T v = value(); if (v > 255) return; if (v > 32767) return; } #endif int main() { #ifdef __cplusplus TFunc(); TFunc(); #endif short s = value(); #ifdef TEST if (s == 32767) return 0; if (s != 32767) return 0; if (s < 32767) return 0; if (s <= 32767) // expected-warning {{comparison 'short' <= 32767 is always true}} return 0; if (s > 32767) // expected-warning {{comparison 'short' > 32767 is always false}} return 0; if (s >= 32767) return 0; if (32767 == s) return 0; if (32767 != s) return 0; if (32767 < s) // expected-warning {{comparison 32767 < 'short' is always false}} return 0; if (32767 <= s) return 0; if (32767 > s) return 0; if (32767 >= s) // expected-warning {{comparison 32767 >= 'short' is always true}} return 0; // FIXME: assumes two's complement if (s == -32768) return 0; if (s != -32768) return 0; if (s < -32768) // expected-warning {{comparison 'short' < -32768 is always false}} return 0; if (s <= -32768) return 0; if (s > -32768) return 0; if (s >= -32768) // expected-warning {{comparison 'short' >= -32768 is always true}} return 0; if (-32768 == s) return 0; if (-32768 != s) return 0; if (-32768 < s) return 0; if (-32768 <= s) // expected-warning {{comparison -32768 <= 'short' is always true}} return 0; if (-32768 > s) // expected-warning {{comparison -32768 > 'short' is always false}} return 0; if (-32768 >= s) return 0; // Note: both sides are promoted to unsigned long prior to the comparison, so // it is perfectly possible for a short to compare greater than 32767UL. if (s == 32767UL) return 0; if (s != 32767UL) return 0; if (s < 32767UL) return 0; if (s <= 32767UL) return 0; if (s > 32767UL) return 0; if (s >= 32767UL) return 0; if (32767UL == s) return 0; if (32767UL != s) return 0; if (32767UL < s) return 0; if (32767UL <= s) return 0; if (32767UL > s) return 0; if (32767UL >= s) return 0; enum { ULONG_MAX = (2UL * (unsigned long)__LONG_MAX__ + 1UL) }; if (s == 2UL * (unsigned long)__LONG_MAX__ + 1UL) return 0; if (s != 2UL * (unsigned long)__LONG_MAX__ + 1UL) return 0; if (s < 2UL * (unsigned long)__LONG_MAX__ + 1UL) return 0; if (s <= 2UL * (unsigned long)__LONG_MAX__ + 1UL) // expected-warning-re {{comparison 'short' <= {{.*}} is always true}} return 0; if (s > 2UL * (unsigned long)__LONG_MAX__ + 1UL) // expected-warning-re {{comparison 'short' > {{.*}} is always false}} return 0; if (s >= 2UL * (unsigned long)__LONG_MAX__ + 1UL) return 0; if (2UL * (unsigned long)__LONG_MAX__ + 1UL == s) return 0; if (2UL * (unsigned long)__LONG_MAX__ + 1UL != s) return 0; if (2UL * (unsigned long)__LONG_MAX__ + 1UL < s) // expected-warning-re {{comparison {{.*}} < 'short' is always false}} return 0; if (2UL * (unsigned long)__LONG_MAX__ + 1UL <= s) return 0; if (2UL * (unsigned long)__LONG_MAX__ + 1UL > s) return 0; if (2UL * (unsigned long)__LONG_MAX__ + 1UL >= s) // expected-warning-re {{comparison {{.*}} >= 'short' is always true}} return 0; // FIXME: assumes two's complement if (s == -32768L) return 0; if (s != -32768L) return 0; if (s < -32768L) // expected-warning {{comparison 'short' < -32768 is always false}} return 0; if (s <= -32768L) return 0; if (s > -32768L) return 0; if (s >= -32768L) // expected-warning {{comparison 'short' >= -32768 is always true}} return 0; if (-32768L == s) return 0; if (-32768L != s) return 0; if (-32768L < s) return 0; if (-32768L <= s) // expected-warning {{comparison -32768 <= 'short' is always true}} return 0; if (-32768L > s) // expected-warning {{comparison -32768 > 'short' is always false}} return 0; if (-32768L >= s) return 0; #else // expected-no-diagnostics if (s == 32767) return 0; if (s != 32767) return 0; if (s < 32767) return 0; if (s <= 32767) return 0; if (s > 32767) return 0; if (s >= 32767) return 0; if (32767 == s) return 0; if (32767 != s) return 0; if (32767 < s) return 0; if (32767 <= s) return 0; if (32767 > s) return 0; if (32767 >= s) return 0; // FIXME: assumes two's complement if (s == -32768) return 0; if (s != -32768) return 0; if (s < -32768) return 0; if (s <= -32768) return 0; if (s > -32768) return 0; if (s >= -32768) return 0; if (-32768 == s) return 0; if (-32768 != s) return 0; if (-32768 < s) return 0; if (-32768 <= s) return 0; if (-32768 > s) return 0; if (-32768 >= s) return 0; if (s == 32767UL) return 0; if (s != 32767UL) return 0; if (s < 32767UL) return 0; if (s <= 32767UL) return 0; if (s > 32767UL) return 0; if (s >= 32767UL) return 0; if (32767UL == s) return 0; if (32767UL != s) return 0; if (32767UL < s) return 0; if (32767UL <= s) return 0; if (32767UL > s) return 0; if (32767UL >= s) return 0; // FIXME: assumes two's complement if (s == -32768L) return 0; if (s != -32768L) return 0; if (s < -32768L) return 0; if (s <= -32768L) return 0; if (s > -32768L) return 0; if (s >= -32768L) return 0; if (-32768L == s) return 0; if (-32768L != s) return 0; if (-32768L < s) return 0; if (-32768L <= s) return 0; if (-32768L > s) return 0; if (-32768L >= s) return 0; #endif if (s == 0) return 0; if (s != 0) return 0; if (s < 0) return 0; if (s <= 0) return 0; if (s > 0) return 0; if (s >= 0) return 0; if (0 == s) return 0; if (0 != s) return 0; if (0 < s) return 0; if (0 <= s) return 0; if (0 > s) return 0; if (0 >= s) return 0; unsigned short us = value(); #ifdef TEST if (us == 65535) return 0; if (us != 65535) return 0; if (us < 65535) return 0; if (us <= 65535) // expected-warning {{comparison 'unsigned short' <= 65535 is always true}} return 0; if (us > 65535) // expected-warning {{comparison 'unsigned short' > 65535 is always false}} return 0; if (us >= 65535) return 0; if (65535 == us) return 0; if (65535 != us) return 0; if (65535 < us) // expected-warning {{comparison 65535 < 'unsigned short' is always false}} return 0; if (65535 <= us) return 0; if (65535 > us) return 0; if (65535 >= us) // expected-warning {{comparison 65535 >= 'unsigned short' is always true}} return 0; if (us == 65535UL) return 0; if (us != 65535UL) return 0; if (us < 65535UL) return 0; if (us <= 65535UL) // expected-warning {{comparison 'unsigned short' <= 65535 is always true}} return 0; if (us > 65535UL) // expected-warning {{comparison 'unsigned short' > 65535 is always false}} return 0; if (us >= 65535UL) return 0; if (65535UL == us) return 0; if (65535UL != us) return 0; if (65535UL < us) // expected-warning {{comparison 65535 < 'unsigned short' is always false}} return 0; if (65535UL <= us) return 0; if (65535UL > us) return 0; if (65535UL >= us) // expected-warning {{comparison 65535 >= 'unsigned short' is always true}} return 0; #else // expected-no-diagnostics if (us == 65535) return 0; if (us != 65535) return 0; if (us < 65535) return 0; if (us <= 65535) return 0; if (us > 65535) return 0; if (us >= 65535) return 0; if (65535 == us) return 0; if (65535 != us) return 0; if (65535 < us) return 0; if (65535 <= us) return 0; if (65535 > us) return 0; if (65535 >= us) return 0; if (us == 65535UL) return 0; if (us != 65535UL) return 0; if (us < 65535UL) return 0; if (us <= 65535UL) return 0; if (us > 65535UL) return 0; if (us >= 65535UL) return 0; if (65535UL == us) return 0; if (65535UL != us) return 0; if (65535UL < us) return 0; if (65535UL <= us) return 0; if (65535UL > us) return 0; if (65535UL >= us) return 0; #endif if (us == 32767) return 0; if (us != 32767) return 0; if (us < 32767) return 0; if (us <= 32767) return 0; if (us > 32767) return 0; if (us >= 32767) return 0; if (32767 == us) return 0; if (32767 != us) return 0; if (32767 < us) return 0; if (32767 <= us) return 0; if (32767 > us) return 0; if (32767 >= us) return 0; if (us == 32767UL) return 0; if (us != 32767UL) return 0; if (us < 32767UL) return 0; if (us <= 32767UL) return 0; if (us > 32767UL) return 0; if (us >= 32767UL) return 0; if (32767UL == us) return 0; if (32767UL != us) return 0; if (32767UL < us) return 0; if (32767UL <= us) return 0; if (32767UL > us) return 0; if (32767UL >= us) return 0; #if __SIZEOF_INT128__ __int128 i128 = value(); if (i128 == -1) // used to crash return 0; #endif enum E { yes, no, maybe }; enum E e = (enum E)value(); if (e == yes) return 0; if (e != yes) return 0; if (e < yes) return 0; if (e <= yes) return 0; if (e > yes) return 0; if (e >= yes) return 0; if (yes == e) return 0; if (yes != e) return 0; if (yes < e) return 0; if (yes <= e) return 0; if (yes > e) return 0; if (yes >= e) return 0; if (e == maybe) return 0; if (e != maybe) return 0; if (e < maybe) return 0; if (e <= maybe) return 0; if (e > maybe) return 0; if (e >= maybe) return 0; if (maybe == e) return 0; if (maybe != e) return 0; if (maybe < e) return 0; if (maybe <= e) return 0; if (maybe > e) return 0; if (maybe >= e) return 0; // For the time being, use the declared type of bit-fields rather than their // length when determining whether a value is in-range. // FIXME: Reconsider this. struct A { int a : 3; unsigned b : 3; long c : 3; unsigned long d : 3; } a; if (a.a < 3) {} if (a.a < 4) {} if (a.b < 7) {} if (a.b < 8) {} if (a.c < 3) {} if (a.c < 4) {} if (a.d < 7) {} if (a.d < 8) {} return 1; }