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