analyzer: enable taint state machine by default [PR103533]
[official-gcc.git] / gcc / testsuite / c-c++-common / pr107465.c
blob7c9ff24bc83b98bbf8a5abe9100473b45ddbe076
1 /* PR c/107465 */
2 /* { dg-do compile } */
3 /* { dg-options "-Wsign-compare" } */
5 void baz (void);
6 typedef unsigned short T;
8 #if __SIZEOF_SHORT__ * __CHAR_BIT__ == 16
9 void
10 foo (unsigned short x)
12 if (!(x ^ 0xFFFF))
13 baz ();
16 void
17 bar (T x)
19 if (!(x ^ 0xFFFF)) /* { dg-bogus "promoted bitwise complement of an unsigned value is always nonzero" } */
20 baz ();
22 #endif