1 /* Test disabling -Wtype-limits */
2 /* { dg-do compile } */
3 /* { dg-options "-Wextra -Wno-type-limits" } */
6 void a (unsigned char x
)
8 if (x
< 0) return;/* { dg-bogus "comparison is always false due to limited range of data type" } */
9 if (x
>= 0) return;/* { dg-bogus "comparison is always true due to limited range of data type" } */
10 if (0 > x
) return;/* { dg-bogus "comparison is always false due to limited range of data type" } */
11 if (0 <= x
) return;/* { dg-bogus "comparison is always true due to limited range of data type" } */
12 if (x
<= 255) /* { dg-bogus "comparison is always true due to limited range of data type" } */
14 if (255 >= x
) /* { dg-bogus "comparison is always true due to limited range of data type" } */
18 if (255 >= (unsigned char) 1)
23 void b (unsigned short x
)
25 if (x
< 0) return;/* { dg-bogus "comparison is always false due to limited range of data type" } */
26 if (x
>= 0) return;/* { dg-bogus "comparison is always true due to limited range of data type" } */
27 if (0 > x
) return;/* { dg-bogus "comparison is always false due to limited range of data type" } */
28 if (0 <= x
) return;/* { dg-bogus "comparison is always true due to limited range of data type" } */
31 void c (unsigned int x
)
33 if (x
< 0) return;/* { dg-bogus "comparison of unsigned expression < 0 is always false" } */
34 if (x
>= 0) return;/* { dg-bogus "comparison of unsigned expression >= 0 is always true" } */
35 if (0 > x
) return;/* { dg-bogus "comparison of unsigned expression < 0 is always false" } */
36 if (0 <= x
) return;/* { dg-bogus "comparison of unsigned expression >= 0 is always true" } */
43 void d (unsigned long x
)
45 if (x
< 0) return;/* { dg-bogus "comparison of unsigned expression < 0 is always false" } */
46 if (x
>= 0) return;/* { dg-bogus "comparison of unsigned expression >= 0 is always true" } */
47 if (0 > x
) return;/* { dg-bogus "comparison of unsigned expression < 0 is always false" } */
48 if (0 <= x
) return;/* { dg-bogus "comparison of unsigned expression >= 0 is always true" } */
51 void e (unsigned long long x
)
53 if (x
< 0) return;/* { dg-bogus "comparison of unsigned expression < 0 is always false" } */
54 if (x
>= 0) return;/* { dg-bogus "comparison of unsigned expression >= 0 is always true" } */
55 if (0 > x
) return;/* { dg-bogus "comparison of unsigned expression < 0 is always false" } */
56 if (0 <= x
) return;/* { dg-bogus "comparison of unsigned expression >= 0 is always true" } */
61 if ((long long)x
<= 0x123456789ABCLL
)