Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / a193f20916f0e0e5a3b0f76ca69e2b3870c1a325 / . / test / Sema / outof-range-constant-compare.c
blob: 4b1637c46c5e32a541ff32f865e884ffba4bb4cb [file] [log] [blame]
Fariborz Jahanian15a93562012-09-18 17:37:21 +0000[diff] [blame]1// RUN: %clang_cc1 -triple x86_64-apple-darwin -fsyntax-only -Wtautological-constant-out-of-range-compare -verify %s
2// rdar://12202422
3
4int value(void);
5
6int main()
7{
8 int a = value();
Fariborz Jahaniana193f202012-09-20 19:36:41 +0000[diff] [blame^]9 if (a == 0x1234567812345678L) // expected-warning {{comparison of constant 1311768465173141112 with expression of type 'int' is always false}}
Fariborz Jahanian15a93562012-09-18 17:37:21 +0000[diff] [blame]10 return 0;
Fariborz Jahaniana193f202012-09-20 19:36:41 +0000[diff] [blame^]11 if (a != 0x1234567812345678L) // expected-warning {{comparison of constant 1311768465173141112 with expression of type 'int' is always true}}
Fariborz Jahanian15a93562012-09-18 17:37:21 +0000[diff] [blame]12 return 0;
Fariborz Jahaniana193f202012-09-20 19:36:41 +0000[diff] [blame^]13 if (a < 0x1234567812345678L) // expected-warning {{comparison of constant 1311768465173141112 with expression of type 'int' is always true}}
Fariborz Jahanian15a93562012-09-18 17:37:21 +0000[diff] [blame]14 return 0;
Fariborz Jahaniana193f202012-09-20 19:36:41 +0000[diff] [blame^]15 if (a <= 0x1234567812345678L) // expected-warning {{comparison of constant 1311768465173141112 with expression of type 'int' is always true}}
Fariborz Jahanian15a93562012-09-18 17:37:21 +0000[diff] [blame]16 return 0;
Fariborz Jahaniana193f202012-09-20 19:36:41 +0000[diff] [blame^]17 if (a > 0x1234567812345678L) // expected-warning {{comparison of constant 1311768465173141112 with expression of type 'int' is always false}}
Fariborz Jahanian15a93562012-09-18 17:37:21 +0000[diff] [blame]18 return 0;
Fariborz Jahaniana193f202012-09-20 19:36:41 +0000[diff] [blame^]19 if (a >= 0x1234567812345678L) // expected-warning {{comparison of constant 1311768465173141112 with expression of type 'int' is always false}}
Fariborz Jahanian15a93562012-09-18 17:37:21 +0000[diff] [blame]20 return 0;
21
Fariborz Jahaniana193f202012-09-20 19:36:41 +0000[diff] [blame^]22 if (0x1234567812345678L == a) // expected-warning {{comparison of constant 1311768465173141112 with expression of type 'int' is always false}}
Fariborz Jahanian15a93562012-09-18 17:37:21 +0000[diff] [blame]23 return 0;
Fariborz Jahaniana193f202012-09-20 19:36:41 +0000[diff] [blame^]24 if (0x1234567812345678L != a) // expected-warning {{comparison of constant 1311768465173141112 with expression of type 'int' is always true}}
Fariborz Jahanian15a93562012-09-18 17:37:21 +0000[diff] [blame]25 return 0;
Fariborz Jahaniana193f202012-09-20 19:36:41 +0000[diff] [blame^]26 if (0x1234567812345678L < a) // expected-warning {{comparison of constant 1311768465173141112 with expression of type 'int' is always false}}
Fariborz Jahanian15a93562012-09-18 17:37:21 +0000[diff] [blame]27 return 0;
Fariborz Jahaniana193f202012-09-20 19:36:41 +0000[diff] [blame^]28 if (0x1234567812345678L <= a) // expected-warning {{comparison of constant 1311768465173141112 with expression of type 'int' is always false}}
Fariborz Jahanian15a93562012-09-18 17:37:21 +0000[diff] [blame]29 return 0;
Fariborz Jahaniana193f202012-09-20 19:36:41 +0000[diff] [blame^]30 if (0x1234567812345678L > a) // expected-warning {{comparison of constant 1311768465173141112 with expression of type 'int' is always true}}
Fariborz Jahanian15a93562012-09-18 17:37:21 +0000[diff] [blame]31 return 0;
Fariborz Jahaniana193f202012-09-20 19:36:41 +0000[diff] [blame^]32 if (0x1234567812345678L >= a) // expected-warning {{comparison of constant 1311768465173141112 with expression of type 'int' is always true}}
Fariborz Jahanian15a93562012-09-18 17:37:21 +0000[diff] [blame]33 return 0;
Fariborz Jahaniana193f202012-09-20 19:36:41 +0000[diff] [blame^]34 if (a == 0x1234567812345678LL) // expected-warning {{comparison of constant 1311768465173141112 with expression of type 'int' is always false}}
Fariborz Jahanian15a93562012-09-18 17:37:21 +0000[diff] [blame]35 return 0;
Fariborz Jahaniana193f202012-09-20 19:36:41 +0000[diff] [blame^]36 if (a == -0x1234567812345678L) // expected-warning {{comparison of constant -1311768465173141112 with expression of type 'int' is always false}}
Fariborz Jahanian15a93562012-09-18 17:37:21 +0000[diff] [blame]37 return 0;
Fariborz Jahaniana193f202012-09-20 19:36:41 +0000[diff] [blame^]38 if (a < -0x1234567812345678L) // expected-warning {{comparison of constant -1311768465173141112 with expression of type 'int' is always false}}
Fariborz Jahanian15a93562012-09-18 17:37:21 +0000[diff] [blame]39 return 0;
Fariborz Jahaniana193f202012-09-20 19:36:41 +0000[diff] [blame^]40 if (a > -0x1234567812345678L) // expected-warning {{comparison of constant -1311768465173141112 with expression of type 'int' is always true}}
Fariborz Jahanian15a93562012-09-18 17:37:21 +0000[diff] [blame]41 return 0;
Fariborz Jahaniana193f202012-09-20 19:36:41 +0000[diff] [blame^]42 if (a <= -0x1234567812345678L) // expected-warning {{comparison of constant -1311768465173141112 with expression of type 'int' is always false}}
Fariborz Jahanian15a93562012-09-18 17:37:21 +0000[diff] [blame]43 return 0;
Fariborz Jahaniana193f202012-09-20 19:36:41 +0000[diff] [blame^]44 if (a >= -0x1234567812345678L) // expected-warning {{comparison of constant -1311768465173141112 with expression of type 'int' is always true}}
Fariborz Jahanian15a93562012-09-18 17:37:21 +0000[diff] [blame]45 return 0;
46
47
48 if (a == 0x12345678L) // no warning
49 return 1;
50
51 short s = value();
Fariborz Jahaniana193f202012-09-20 19:36:41 +0000[diff] [blame^]52 if (s == 0x1234567812345678L) // expected-warning {{comparison of constant 1311768465173141112 with expression of type 'short' is always false}}
Fariborz Jahanian15a93562012-09-18 17:37:21 +0000[diff] [blame]53 return 0;
Fariborz Jahaniana193f202012-09-20 19:36:41 +0000[diff] [blame^]54 if (s != 0x1234567812345678L) // expected-warning {{comparison of constant 1311768465173141112 with expression of type 'short' is always true}}
Fariborz Jahanian15a93562012-09-18 17:37:21 +0000[diff] [blame]55 return 0;
Fariborz Jahaniana193f202012-09-20 19:36:41 +0000[diff] [blame^]56 if (s < 0x1234567812345678L) // expected-warning {{comparison of constant 1311768465173141112 with expression of type 'short' is always true}}
Fariborz Jahanian15a93562012-09-18 17:37:21 +0000[diff] [blame]57 return 0;
Fariborz Jahaniana193f202012-09-20 19:36:41 +0000[diff] [blame^]58 if (s <= 0x1234567812345678L) // expected-warning {{comparison of constant 1311768465173141112 with expression of type 'short' is always true}}
Fariborz Jahanian15a93562012-09-18 17:37:21 +0000[diff] [blame]59 return 0;
Fariborz Jahaniana193f202012-09-20 19:36:41 +0000[diff] [blame^]60 if (s > 0x1234567812345678L) // expected-warning {{comparison of constant 1311768465173141112 with expression of type 'short' is always false}}
Fariborz Jahanian15a93562012-09-18 17:37:21 +0000[diff] [blame]61 return 0;
Fariborz Jahaniana193f202012-09-20 19:36:41 +0000[diff] [blame^]62 if (s >= 0x1234567812345678L) // expected-warning {{comparison of constant 1311768465173141112 with expression of type 'short' is always false}}
Fariborz Jahanian15a93562012-09-18 17:37:21 +0000[diff] [blame]63 return 0;
64
Fariborz Jahaniana193f202012-09-20 19:36:41 +0000[diff] [blame^]65 if (0x1234567812345678L == s) // expected-warning {{comparison of constant 1311768465173141112 with expression of type 'short' is always false}}
Fariborz Jahanian15a93562012-09-18 17:37:21 +0000[diff] [blame]66 return 0;
Fariborz Jahaniana193f202012-09-20 19:36:41 +0000[diff] [blame^]67 if (0x1234567812345678L != s) // expected-warning {{comparison of constant 1311768465173141112 with expression of type 'short' is always true}}
Fariborz Jahanian15a93562012-09-18 17:37:21 +0000[diff] [blame]68 return 0;
Fariborz Jahaniana193f202012-09-20 19:36:41 +0000[diff] [blame^]69 if (0x1234567812345678L < s) // expected-warning {{comparison of constant 1311768465173141112 with expression of type 'short' is always false}}
Fariborz Jahanian15a93562012-09-18 17:37:21 +0000[diff] [blame]70 return 0;
Fariborz Jahaniana193f202012-09-20 19:36:41 +0000[diff] [blame^]71 if (0x1234567812345678L <= s) // expected-warning {{comparison of constant 1311768465173141112 with expression of type 'short' is always false}}
Fariborz Jahanian15a93562012-09-18 17:37:21 +0000[diff] [blame]72 return 0;
Fariborz Jahaniana193f202012-09-20 19:36:41 +0000[diff] [blame^]73 if (0x1234567812345678L > s) // expected-warning {{comparison of constant 1311768465173141112 with expression of type 'short' is always true}}
Fariborz Jahanian15a93562012-09-18 17:37:21 +0000[diff] [blame]74 return 0;
Fariborz Jahaniana193f202012-09-20 19:36:41 +0000[diff] [blame^]75 if (0x1234567812345678L >= s) // expected-warning {{comparison of constant 1311768465173141112 with expression of type 'short' is always true}}
Fariborz Jahanian15a93562012-09-18 17:37:21 +0000[diff] [blame]76 return 0;
77 long l = value();
78 if (l == 0x1234567812345678L)
79 return 0;
80 if (l != 0x1234567812345678L)
81 return 0;
82 if (l < 0x1234567812345678L)
83 return 0;
84 if (l <= 0x1234567812345678L)
85 return 0;
86 if (l > 0x1234567812345678L)
87 return 0;
88 if (l >= 0x1234567812345678L)
89 return 0;
90
91 if (0x1234567812345678L == l)
92 return 0;
93 if (0x1234567812345678L != l)
94 return 0;
95 if (0x1234567812345678L < l)
96 return 0;
97 if (0x1234567812345678L <= l)
98 return 0;
99 if (0x1234567812345678L > l)
100 return 0;
101 if (0x1234567812345678L >= l)
102 return 0;
103
104 unsigned un = 0;
105 if (un == 0x0000000000000000L)
106 return 0;
107 if (un != 0x0000000000000000L)
108 return 0;
109 if (un < 0x0000000000000000L)
110 return 0;
111 if (un <= 0x0000000000000000L)
112 return 0;
113 if (un > 0x0000000000000000L)
114 return 0;
115 if (un >= 0x0000000000000000L)
116 return 0;
117
118 if (0x0000000000000000L == un)
119 return 0;
120 if (0x0000000000000000L != un)
121 return 0;
122 if (0x0000000000000000L < un)
123 return 0;
124 if (0x0000000000000000L <= un)
125 return 0;
126 if (0x0000000000000000L > un)
127 return 0;
128 if (0x0000000000000000L >= un)
129 return 0;
130 float fl = 0;
131 if (fl == 0x0000000000000000L) // no warning
132 return 0;
133
134 float dl = 0;
135 if (dl == 0x0000000000000000L) // no warning
136 return 0;
137
138 enum E {
139 yes,
140 no,
141 maybe
142 };
143 enum E e;
144
Fariborz Jahaniana193f202012-09-20 19:36:41 +0000[diff] [blame^]145 if (e == 0x1234567812345678L) // expected-warning {{comparison of constant 1311768465173141112 with expression of type 'enum E' is always false}}
Fariborz Jahanian15a93562012-09-18 17:37:21 +0000[diff] [blame]146 return 0;
147
148 return 1;
149}