Cross Reference: /external/clang/test/Analysis/additive-folding-range-constraints.c

Lines Matching refs:min
75   int min = INT_MIN;
77   clang_analyzer_eval((a - 2) >= (min + 5LL)); // expected-warning{{TRUE}}
143   int min = INT_MIN;
145   clang_analyzer_eval((a + 2) >= (min + 5LL)); // expected-warning{{TRUE}}
204   int min = INT_MIN;
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}}
211   int min = INT_MIN;
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}}
218   unsigned min = 0;
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}}
225   unsigned min = 0;
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}}
232   int min = 0;
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}}
239   int min = 0;
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}}
246   int min = 0;
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}}
253   int min = 0;
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}}
274   unsigned min = INT_MIN;
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}}
281   unsigned min = INT_MIN;
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}}