Lines Matching full:warning
15 clang_analyzer_eval(a < UINT_MAX-1); // expected-warning{{TRUE}} in smallAdjustmentGT()
17 clang_analyzer_eval(a == UINT_MAX-1 || a == UINT_MAX); // expected-warning{{TRUE}} in smallAdjustmentGT()
22 clang_analyzer_eval(a < UINT_MAX-1 || a == UINT_MAX); // expected-warning{{TRUE}} in smallAdjustmentGE()
24 clang_analyzer_eval(a == UINT_MAX-1); // expected-warning{{TRUE}} in smallAdjustmentGE()
29 clang_analyzer_eval(a == 0 || a == UINT_MAX); // expected-warning{{TRUE}} in smallAdjustmentLT()
34 clang_analyzer_eval(a == 0 || a == 1 || a == UINT_MAX); // expected-warning{{TRUE}} in smallAdjustmentLE()
43 clang_analyzer_eval(a == 1); // expected-warning{{TRUE}} in largeAdjustmentGT()
45 clang_analyzer_eval(a != 1); // expected-warning{{TRUE}} in largeAdjustmentGT()
50 clang_analyzer_eval(a == 1 || a == 0); // expected-warning{{TRUE}} in largeAdjustmentGE()
52 clang_analyzer_eval(a > 1); // expected-warning{{TRUE}} in largeAdjustmentGE()
57 clang_analyzer_eval(a == UINT_MAX-1); // expected-warning{{TRUE}} in largeAdjustmentLT()
59 clang_analyzer_eval(a != UINT_MAX-1); // expected-warning{{TRUE}} in largeAdjustmentLT()
64 clang_analyzer_eval(a == UINT_MAX-1 || a == UINT_MAX); // expected-warning{{TRUE}} in largeAdjustmentLE()
66 clang_analyzer_eval(a < UINT_MAX-1); // expected-warning{{TRUE}} in largeAdjustmentLE()
77 clang_analyzer_eval((a - 2) >= (min + 5LL)); // expected-warning{{TRUE}} in mixedComparisons1()
79 clang_analyzer_eval(a == 0); // expected-warning{{UNKNOWN}} in mixedComparisons1()
80 clang_analyzer_eval(a == 0x7F); // expected-warning{{UNKNOWN}} in mixedComparisons1()
81 clang_analyzer_eval(a == -0x80); // expected-warning{{UNKNOWN}} in mixedComparisons1()
86 clang_analyzer_eval((a - 5) < (-0x81LL)); // expected-warning{{UNKNOWN}} in mixedComparisons2()
89 clang_analyzer_eval(a == 0); // expected-warning{{FALSE}} in mixedComparisons2()
90 clang_analyzer_eval(a == 0x7F); // expected-warning{{FALSE}} in mixedComparisons2()
91 clang_analyzer_eval(a == -0x80); // expected-warning{{UNKNOWN}} in mixedComparisons2()
97 clang_analyzer_eval((a - 0x200) < -0x100LL); // expected-warning{{TRUE}} in mixedComparisons3()
99 clang_analyzer_eval(a == 0); // expected-warning{{UNKNOWN}} in mixedComparisons3()
100 clang_analyzer_eval(a == 0x7F); // expected-warning{{UNKNOWN}} in mixedComparisons3()
101 clang_analyzer_eval(a == -0x80); // expected-warning{{UNKNOWN}} in mixedComparisons3()
106 clang_analyzer_eval((a - 5) > 0LL); // expected-warning{{UNKNOWN}} in mixedComparisons4()
109 clang_analyzer_eval(a == 0); // expected-warning{{FALSE}} in mixedComparisons4()
110 clang_analyzer_eval(a == 0x7F); // expected-warning{{UNKNOWN}} in mixedComparisons4()
111 clang_analyzer_eval(a == -0x80); // expected-warning{{FALSE}} in mixedComparisons4()
117 clang_analyzer_eval((a + 5) == 0LL); // expected-warning{{UNKNOWN}} in mixedComparisons5()
120 clang_analyzer_eval(a == 0); // expected-warning{{FALSE}} in mixedComparisons5()
121 clang_analyzer_eval(a == 0x7F); // expected-warning{{FALSE}} in mixedComparisons5()
122 clang_analyzer_eval(a == -0x80); // expected-warning{{FALSE}} in mixedComparisons5()
124 clang_analyzer_eval(a == 0); // expected-warning{{UNKNOWN}} in mixedComparisons5()
125 clang_analyzer_eval(a == 0x7F); // expected-warning{{UNKNOWN}} in mixedComparisons5()
126 clang_analyzer_eval(a == -0x80); // expected-warning{{UNKNOWN}} in mixedComparisons5()
132 clang_analyzer_eval((a + 5) > 0x81LL); // expected-warning{{UNKNOWN}} in mixedComparisons6()
135 clang_analyzer_eval(a == 0); // expected-warning{{FALSE}} in mixedComparisons6()
136 clang_analyzer_eval(a == 0x7F); // expected-warning{{UNKNOWN}} in mixedComparisons6()
137 clang_analyzer_eval(a == -0x80); // expected-warning{{FALSE}} in mixedComparisons6()
145 clang_analyzer_eval((a + 2) >= (min + 5LL)); // expected-warning{{TRUE}} in mixedComparisons7()
147 clang_analyzer_eval(a == 0); // expected-warning{{UNKNOWN}} in mixedComparisons7()
148 clang_analyzer_eval(a == 0x7F); // expected-warning{{UNKNOWN}} in mixedComparisons7()
149 clang_analyzer_eval(a == -0x80); // expected-warning{{UNKNOWN}} in mixedComparisons7()
154 clang_analyzer_eval((a + 5) < 0LL); // expected-warning{{UNKNOWN}} in mixedComparisons8()
157 clang_analyzer_eval(a == 0); // expected-warning{{FALSE}} in mixedComparisons8()
158 clang_analyzer_eval(a == 0x7F); // expected-warning{{FALSE}} in mixedComparisons8()
159 clang_analyzer_eval(a == -0x80); // expected-warning{{UNKNOWN}} in mixedComparisons8()
167 clang_analyzer_eval((a + 2) <= (max - 5LL)); // expected-warning{{TRUE}} in mixedComparisons9()
169 clang_analyzer_eval(a == 0); // expected-warning{{UNKNOWN}} in mixedComparisons9()
170 clang_analyzer_eval(a == 0x7F); // expected-warning{{UNKNOWN}} in mixedComparisons9()
171 clang_analyzer_eval(a == -0x80); // expected-warning{{UNKNOWN}} in mixedComparisons9()
177 clang_analyzer_eval(a < max); // expected-warning{{UNKNOWN}} in mixedSignedness1()
178 clang_analyzer_eval((a + 2) < max); // expected-warning{{UNKNOWN}} in mixedSignedness1()
179 clang_analyzer_eval((a + 2U) < max); // expected-warning{{UNKNOWN}} in mixedSignedness1()
184 clang_analyzer_eval(a <= max); // expected-warning{{TRUE}} in mixedSignedness2()
185 clang_analyzer_eval((a + 2) <= max); // expected-warning{{TRUE}} in mixedSignedness2()
186 clang_analyzer_eval((a + 2U) <= max); // expected-warning{{TRUE}} in mixedSignedness2()
191 clang_analyzer_eval(a < max); // expected-warning{{UNKNOWN}} in mixedSignedness3()
192 clang_analyzer_eval((a + 2) < max); // expected-warning{{UNKNOWN}} in mixedSignedness3()
193 clang_analyzer_eval((a + 2U) < max); // expected-warning{{UNKNOWN}} in mixedSignedness3()
198 clang_analyzer_eval(a <= max); // expected-warning{{UNKNOWN}} in mixedSignedness4()
199 clang_analyzer_eval((a + 2) <= max); // expected-warning{{UNKNOWN}} in mixedSignedness4()
200 clang_analyzer_eval((a + 2U) <= max); // expected-warning{{UNKNOWN}} in mixedSignedness4()
205 clang_analyzer_eval(a < min); // expected-warning{{UNKNOWN}} in mixedSignedness5()
206 clang_analyzer_eval((a + 2) < min); // expected-warning{{UNKNOWN}} in mixedSignedness5()
207 clang_analyzer_eval((a + 2U) < min); // expected-warning{{UNKNOWN}} in mixedSignedness5()
212 clang_analyzer_eval(a <= min); // expected-warning{{UNKNOWN}} in mixedSignedness6()
213 clang_analyzer_eval((a + 2) <= min); // expected-warning{{UNKNOWN}} in mixedSignedness6()
214 clang_analyzer_eval((a + 2U) <= min); // expected-warning{{UNKNOWN}} in mixedSignedness6()
219 clang_analyzer_eval(a < min); // expected-warning{{FALSE}} in mixedSignedness7()
220 clang_analyzer_eval((a + 2) < min); // expected-warning{{FALSE}} in mixedSignedness7()
221 clang_analyzer_eval((a + 2U) < min); // expected-warning{{FALSE}} in mixedSignedness7()
226 clang_analyzer_eval(a <= min); // expected-warning{{UNKNOWN}} in mixedSignedness8()
227 clang_analyzer_eval((a + 2) <= min); // expected-warning{{UNKNOWN}} in mixedSignedness8()
228 clang_analyzer_eval((a + 2U) <= min); // expected-warning{{UNKNOWN}} in mixedSignedness8()
233 clang_analyzer_eval(a < min); // expected-warning{{FALSE}} in mixedSignedness9()
234 clang_analyzer_eval((a + 2) < min); // expected-warning{{FALSE}} in mixedSignedness9()
235 clang_analyzer_eval((a + 2U) < min); // expected-warning{{FALSE}} in mixedSignedness9()
240 clang_analyzer_eval(a <= min); // expected-warning{{UNKNOWN}} in mixedSignedness10()
241 clang_analyzer_eval((a + 2) <= min); // expected-warning{{UNKNOWN}} in mixedSignedness10()
242 clang_analyzer_eval((a + 2U) <= min); // expected-warning{{UNKNOWN}} in mixedSignedness10()
247 clang_analyzer_eval(a < min); // expected-warning{{UNKNOWN}} in mixedSignedness11()
248 clang_analyzer_eval((a + 2) < min); // expected-warning{{UNKNOWN}} in mixedSignedness11()
249 clang_analyzer_eval((a + 2U) < min); // expected-warning{{FALSE}} in mixedSignedness11()
254 clang_analyzer_eval(a <= min); // expected-warning{{UNKNOWN}} in mixedSignedness12()
255 clang_analyzer_eval((a + 2) <= min); // expected-warning{{UNKNOWN}} in mixedSignedness12()
256 clang_analyzer_eval((a + 2U) <= min); // expected-warning{{UNKNOWN}} in mixedSignedness12()
261 clang_analyzer_eval(a < max); // expected-warning{{UNKNOWN}} in mixedSignedness13()
262 clang_analyzer_eval((a + 2) < max); // expected-warning{{UNKNOWN}} in mixedSignedness13()
263 clang_analyzer_eval((a + 2U) < max); // expected-warning{{UNKNOWN}} in mixedSignedness13()
268 clang_analyzer_eval(a <= max); // expected-warning{{UNKNOWN}} in mixedSignedness14()
269 clang_analyzer_eval((a + 2) <= max); // expected-warning{{UNKNOWN}} in mixedSignedness14()
270 clang_analyzer_eval((a + 2U) <= max); // expected-warning{{UNKNOWN}} in mixedSignedness14()
275 clang_analyzer_eval(a < min); // expected-warning{{UNKNOWN}} in mixedSignedness15()
276 clang_analyzer_eval((a + 2) < min); // expected-warning{{UNKNOWN}} in mixedSignedness15()
277 clang_analyzer_eval((a + 2U) < min); // expected-warning{{UNKNOWN}} in mixedSignedness15()
282 clang_analyzer_eval(a <= min); // expected-warning{{UNKNOWN}} in mixedSignedness16()
283 clang_analyzer_eval((a + 2) <= min); // expected-warning{{UNKNOWN}} in mixedSignedness16()
284 clang_analyzer_eval((a + 2U) <= min); // expected-warning{{UNKNOWN}} in mixedSignedness16()
292 clang_analyzer_eval(a < 0); // expected-warning{{UNKNOWN}} in mixedSignedness17()
293 clang_analyzer_eval(a == 0); // expected-warning{{FALSE}} in mixedSignedness17()
294 clang_analyzer_eval(a == INT_MAX); // expected-warning{{UNKNOWN}} in mixedSignedness17()
301 clang_analyzer_eval(a < 0); // expected-warning{{TRUE}} in mixedSignedness18()
302 clang_analyzer_eval(a == (unsigned)INT_MIN); // expected-warning{{UNKNOWN}} in mixedSignedness18()
303 clang_analyzer_eval(a == UINT_MAX); // expected-warning{{UNKNOWN}} in mixedSignedness18()