Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 1d6ebdfb66b9d63d34f34ec6ac7ec57eff7cd24b / . / clang / test / Sema / outof-range-enum-constant-compare.c
blob: b9ce08f68c0e0a96a72deaec1a0f75955f83c745 [file] [log] [blame]
Roman Lebedevca1aaac2017-10-21 16:44:03 +0000[diff] [blame]1// RUN: %clang_cc1 -triple=x86_64-pc-linux-gnu -fsyntax-only -DUNSIGNED -verify %s
2// RUN: %clang_cc1 -triple=x86_64-pc-win32 -fsyntax-only -DSIGNED -verify %s
3// RUN: %clang_cc1 -triple=x86_64-pc-linux-gnu -fsyntax-only -DUNSIGNED -DSILENCE -Wno-tautological-constant-out-of-range-compare -verify %s
4// RUN: %clang_cc1 -triple=x86_64-pc-win32 -fsyntax-only -DSIGNED -DSILENCE -Wno-tautological-constant-out-of-range-compare -verify %s
5
6int main() {
7 enum A { A_a = 2 };
8 enum A a;
9
10#ifdef SILENCE
11 // expected-no-diagnostics
12#endif
13
14#ifdef UNSIGNED
15#ifndef SILENCE
16 if (a < 4294967296) // expected-warning {{comparison of constant 4294967296 with expression of type 'enum A' is always true}}
17 return 0;
18 if (4294967296 >= a) // expected-warning {{comparison of constant 4294967296 with expression of type 'enum A' is always true}}
19 return 0;
20 if (a > 4294967296) // expected-warning {{comparison of constant 4294967296 with expression of type 'enum A' is always false}}
21 return 0;
22 if (4294967296 <= a) // expected-warning {{comparison of constant 4294967296 with expression of type 'enum A' is always false}}
23 return 0;
24 if (a <= 4294967296) // expected-warning {{comparison of constant 4294967296 with expression of type 'enum A' is always true}}
25 return 0;
26 if (4294967296 > a) // expected-warning {{comparison of constant 4294967296 with expression of type 'enum A' is always true}}
27 return 0;
28 if (a >= 4294967296) // expected-warning {{comparison of constant 4294967296 with expression of type 'enum A' is always false}}
29 return 0;
30 if (4294967296 < a) // expected-warning {{comparison of constant 4294967296 with expression of type 'enum A' is always false}}
31 return 0;
32 if (a == 4294967296) // expected-warning {{comparison of constant 4294967296 with expression of type 'enum A' is always false}}
33 return 0;
34 if (4294967296 != a) // expected-warning {{comparison of constant 4294967296 with expression of type 'enum A' is always true}}
35 return 0;
36 if (a != 4294967296) // expected-warning {{comparison of constant 4294967296 with expression of type 'enum A' is always true}}
37 return 0;
38 if (4294967296 == a) // expected-warning {{comparison of constant 4294967296 with expression of type 'enum A' is always false}}
39 return 0;
40
41 if (a < 4294967296U) // expected-warning {{comparison of constant 4294967296 with expression of type 'enum A' is always true}}
42 return 0;
43 if (4294967296U >= a) // expected-warning {{comparison of constant 4294967296 with expression of type 'enum A' is always true}}
44 return 0;
45 if (a > 4294967296U) // expected-warning {{comparison of constant 4294967296 with expression of type 'enum A' is always false}}
46 return 0;
47 if (4294967296U <= a) // expected-warning {{comparison of constant 4294967296 with expression of type 'enum A' is always false}}
48 return 0;
49 if (a <= 4294967296U) // expected-warning {{comparison of constant 4294967296 with expression of type 'enum A' is always true}}
50 return 0;
51 if (4294967296U > a) // expected-warning {{comparison of constant 4294967296 with expression of type 'enum A' is always true}}
52 return 0;
53 if (a >= 4294967296U) // expected-warning {{comparison of constant 4294967296 with expression of type 'enum A' is always false}}
54 return 0;
55 if (4294967296U < a) // expected-warning {{comparison of constant 4294967296 with expression of type 'enum A' is always false}}
56 return 0;
57 if (a == 4294967296U) // expected-warning {{comparison of constant 4294967296 with expression of type 'enum A' is always false}}
58 return 0;
59 if (4294967296U != a) // expected-warning {{comparison of constant 4294967296 with expression of type 'enum A' is always true}}
60 return 0;
61 if (a != 4294967296U) // expected-warning {{comparison of constant 4294967296 with expression of type 'enum A' is always true}}
62 return 0;
63 if (4294967296U == a) // expected-warning {{comparison of constant 4294967296 with expression of type 'enum A' is always false}}
64 return 0;
65#else // SILENCE
66 if (a < 4294967296)
67 return 0;
68 if (4294967296 >= a)
69 return 0;
70 if (a > 4294967296)
71 return 0;
72 if (4294967296 <= a)
73 return 0;
74 if (a <= 4294967296)
75 return 0;
76 if (4294967296 > a)
77 return 0;
78 if (a >= 4294967296)
79 return 0;
80 if (4294967296 < a)
81 return 0;
82 if (a == 4294967296)
83 return 0;
84 if (4294967296 != a)
85 return 0;
86 if (a != 4294967296)
87 return 0;
88 if (4294967296 == a)
89 return 0;
90
91 if (a < 4294967296U)
92 return 0;
93 if (4294967296U >= a)
94 return 0;
95 if (a > 4294967296U)
96 return 0;
97 if (4294967296U <= a)
98 return 0;
99 if (a <= 4294967296U)
100 return 0;
101 if (4294967296U > a)
102 return 0;
103 if (a >= 4294967296U)
104 return 0;
105 if (4294967296U < a)
106 return 0;
107 if (a == 4294967296U)
108 return 0;
109 if (4294967296U != a)
110 return 0;
111 if (a != 4294967296U)
112 return 0;
113 if (4294967296U == a)
114 return 0;
115#endif
116#elif defined(SIGNED)
117#ifndef SILENCE
118 if (a < -2147483649) // expected-warning {{comparison of constant -2147483649 with expression of type 'enum A' is always false}}
119 return 0;
120 if (-2147483649 >= a) // expected-warning {{comparison of constant -2147483649 with expression of type 'enum A' is always false}}
121 return 0;
122 if (a > -2147483649) // expected-warning {{comparison of constant -2147483649 with expression of type 'enum A' is always true}}
123 return 0;
124 if (-2147483649 <= a) // expected-warning {{comparison of constant -2147483649 with expression of type 'enum A' is always true}}
125 return 0;
126 if (a <= -2147483649) // expected-warning {{comparison of constant -2147483649 with expression of type 'enum A' is always false}}
127 return 0;
128 if (-2147483649 > a) // expected-warning {{comparison of constant -2147483649 with expression of type 'enum A' is always false}}
129 return 0;
130 if (a >= -2147483649) // expected-warning {{comparison of constant -2147483649 with expression of type 'enum A' is always true}}
131 return 0;
132 if (-2147483649 < a) // expected-warning {{comparison of constant -2147483649 with expression of type 'enum A' is always true}}
133 return 0;
134 if (a == -2147483649) // expected-warning {{comparison of constant -2147483649 with expression of type 'enum A' is always false}}
135 return 0;
136 if (-2147483649 != a) // expected-warning {{comparison of constant -2147483649 with expression of type 'enum A' is always true}}
137 return 0;
138 if (a != -2147483649) // expected-warning {{comparison of constant -2147483649 with expression of type 'enum A' is always true}}
139 return 0;
140 if (-2147483649 == a) // expected-warning {{comparison of constant -2147483649 with expression of type 'enum A' is always false}}
141 return 0;
142
143 if (a < 2147483648) // expected-warning {{comparison of constant 2147483648 with expression of type 'enum A' is always true}}
144 return 0;
145 if (2147483648 >= a) // expected-warning {{comparison of constant 2147483648 with expression of type 'enum A' is always true}}
146 return 0;
147 if (a > 2147483648) // expected-warning {{comparison of constant 2147483648 with expression of type 'enum A' is always false}}
148 return 0;
149 if (2147483648 <= a) // expected-warning {{comparison of constant 2147483648 with expression of type 'enum A' is always false}}
150 return 0;
151 if (a <= 2147483648) // expected-warning {{comparison of constant 2147483648 with expression of type 'enum A' is always true}}
152 return 0;
153 if (2147483648 > a) // expected-warning {{comparison of constant 2147483648 with expression of type 'enum A' is always true}}
154 return 0;
155 if (a >= 2147483648) // expected-warning {{comparison of constant 2147483648 with expression of type 'enum A' is always false}}
156 return 0;
157 if (2147483648 < a) // expected-warning {{comparison of constant 2147483648 with expression of type 'enum A' is always false}}
158 return 0;
159 if (a == 2147483648) // expected-warning {{comparison of constant 2147483648 with expression of type 'enum A' is always false}}
160 return 0;
161 if (2147483648 != a) // expected-warning {{comparison of constant 2147483648 with expression of type 'enum A' is always true}}
162 return 0;
163 if (a != 2147483648) // expected-warning {{comparison of constant 2147483648 with expression of type 'enum A' is always true}}
164 return 0;
165 if (2147483648 == a) // expected-warning {{comparison of constant 2147483648 with expression of type 'enum A' is always false}}
166 return 0;
167#else // SILENCE
168 if (a < -2147483649)
169 return 0;
170 if (-2147483649 >= a)
171 return 0;
172 if (a > -2147483649)
173 return 0;
174 if (-2147483649 <= a)
175 return 0;
176 if (a <= -2147483649)
177 return 0;
178 if (-2147483649 > a)
179 return 0;
180 if (a >= -2147483649)
181 return 0;
182 if (-2147483649 < a)
183 return 0;
184 if (a == -2147483649)
185 return 0;
186 if (-2147483649 != a)
187 return 0;
188 if (a != -2147483649)
189 return 0;
190 if (-2147483649 == a)
191 return 0;
192
193 if (a < 2147483648)
194 return 0;
195 if (2147483648 >= a)
196 return 0;
197 if (a > 2147483648)
198 return 0;
199 if (2147483648 <= a)
200 return 0;
201 if (a <= 2147483648)
202 return 0;
203 if (2147483648 > a)
204 return 0;
205 if (a >= 2147483648)
206 return 0;
207 if (2147483648 < a)
208 return 0;
209 if (a == 2147483648)
210 return 0;
211 if (2147483648 != a)
212 return 0;
213 if (a != 2147483648)
214 return 0;
215 if (2147483648 == a)
216 return 0;
217#endif
218#endif
219}
220
221// https://bugs.llvm.org/show_bug.cgi?id=35009
222int PR35009() {
223 enum A { A_a = 2 };
224 enum A a;
225
226 // in C, this should not warn.
227
228 if (a < 1)
229 return 0;
230 if (1 >= a)
231 return 0;
232 if (a > 1)
233 return 0;
234 if (1 <= a)
235 return 0;
236 if (a <= 1)
237 return 0;
238 if (1 > a)
239 return 0;
240 if (a >= 1)
241 return 0;
242 if (1 < a)
243 return 0;
244 if (a == 1)
245 return 0;
246 if (1 != a)
247 return 0;
248 if (a != 1)
249 return 0;
250 if (1 == a)
251 return 0;
252
253 if (a < 1U)
254 return 0;
255 if (1U >= a)
256 return 0;
257 if (a > 1U)
258 return 0;
259 if (1U <= a)
260 return 0;
261 if (a <= 1U)
262 return 0;
263 if (1U > a)
264 return 0;
265 if (a >= 1U)
266 return 0;
267 if (1U < a)
268 return 0;
269 if (a == 1U)
270 return 0;
271 if (1U != a)
272 return 0;
273 if (a != 1U)
274 return 0;
275 if (1U == a)
276 return 0;
277
278 if (a < 2)
279 return 0;
280 if (2 >= a)
281 return 0;
282 if (a > 2)
283 return 0;
284 if (2 <= a)
285 return 0;
286 if (a <= 2)
287 return 0;
288 if (2 > a)
289 return 0;
290 if (a >= 2)
291 return 0;
292 if (2 < a)
293 return 0;
294 if (a == 2)
295 return 0;
296 if (2 != a)
297 return 0;
298 if (a != 2)
299 return 0;
300 if (2 == a)
301 return 0;
302
303 if (a < 2U)
304 return 0;
305 if (2U >= a)
306 return 0;
307 if (a > 2U)
308 return 0;
309 if (2U <= a)
310 return 0;
311 if (a <= 2U)
312 return 0;
313 if (2U > a)
314 return 0;
315 if (a >= 2U)
316 return 0;
317 if (2U < a)
318 return 0;
319 if (a == 2U)
320 return 0;
321 if (2U != a)
322 return 0;
323 if (a != 2U)
324 return 0;
325 if (2U == a)
326 return 0;
327
328 if (a < 3)
329 return 0;
330 if (3 >= a)
331 return 0;
332 if (a > 3)
333 return 0;
334 if (3 <= a)
335 return 0;
336 if (a <= 3)
337 return 0;
338 if (3 > a)
339 return 0;
340 if (a >= 3)
341 return 0;
342 if (3 < a)
343 return 0;
344 if (a == 3)
345 return 0;
346 if (3 != a)
347 return 0;
348 if (a != 3)
349 return 0;
350 if (3 == a)
351 return 0;
352
353 if (a < 3U)
354 return 0;
355 if (3U >= a)
356 return 0;
357 if (a > 3U)
358 return 0;
359 if (3U <= a)
360 return 0;
361 if (a <= 3U)
362 return 0;
363 if (3U > a)
364 return 0;
365 if (a >= 3U)
366 return 0;
367 if (3U < a)
368 return 0;
369 if (a == 3U)
370 return 0;
371 if (3U != a)
372 return 0;
373 if (a != 3U)
374 return 0;
375 if (3U == a)
376 return 0;
377
378 return 1;
379}