Lines Matching refs:a
13 void smallAdjustmentGT (unsigned a) { in smallAdjustmentGT() argument
14 if (a+2 > 1) in smallAdjustmentGT()
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()
20 void smallAdjustmentGE (unsigned a) { in smallAdjustmentGE() argument
21 if (a+2 >= 1) in smallAdjustmentGE()
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()
27 void smallAdjustmentLT (unsigned a) { in smallAdjustmentLT() argument
28 if (a+1 < 2) in smallAdjustmentLT()
29 clang_analyzer_eval(a == 0 || a == UINT_MAX); // expected-warning{{TRUE}} in smallAdjustmentLT()
32 void smallAdjustmentLE (unsigned a) { in smallAdjustmentLE() argument
33 if (a+1 <= 2) in smallAdjustmentLE()
34 clang_analyzer_eval(a == 0 || a == 1 || a == UINT_MAX); // expected-warning{{TRUE}} in smallAdjustmentLE()
41 void largeAdjustmentGT (unsigned a) { in largeAdjustmentGT() argument
42 if (a-2 > UINT_MAX-1) in largeAdjustmentGT()
43 clang_analyzer_eval(a == 1); // expected-warning{{TRUE}} in largeAdjustmentGT()
45 clang_analyzer_eval(a != 1); // expected-warning{{TRUE}} in largeAdjustmentGT()
48 void largeAdjustmentGE (unsigned a) { in largeAdjustmentGE() argument
49 if (a-2 >= UINT_MAX-1) in largeAdjustmentGE()
50 clang_analyzer_eval(a == 1 || a == 0); // expected-warning{{TRUE}} in largeAdjustmentGE()
52 clang_analyzer_eval(a > 1); // expected-warning{{TRUE}} in largeAdjustmentGE()
55 void largeAdjustmentLT (unsigned a) { in largeAdjustmentLT() argument
56 if (a+2 < 1) in largeAdjustmentLT()
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()
62 void largeAdjustmentLE (unsigned a) { in largeAdjustmentLE() argument
63 if (a+2 <= 1) in largeAdjustmentLE()
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()
73 void mixedComparisons1(signed char a) { in mixedComparisons1() argument
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()
84 void mixedComparisons2(signed char a) { in mixedComparisons2() argument
86 clang_analyzer_eval((a - 5) < (-0x81LL)); // expected-warning{{UNKNOWN}} in mixedComparisons2()
88 if ((a - 5) < (-0x81LL)) { 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()
95 void mixedComparisons3(signed char a) { in mixedComparisons3() argument
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()
104 void mixedComparisons4(signed char a) { in mixedComparisons4() argument
106 clang_analyzer_eval((a - 5) > 0LL); // expected-warning{{UNKNOWN}} in mixedComparisons4()
108 if ((a - 5) > 0LL) { 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()
115 void mixedComparisons5(signed char a) { in mixedComparisons5() argument
117 clang_analyzer_eval((a + 5) == 0LL); // expected-warning{{UNKNOWN}} in mixedComparisons5()
119 if ((a + 5) == 0LL) { 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()
130 void mixedComparisons6(signed char a) { in mixedComparisons6() argument
132 clang_analyzer_eval((a + 5) > 0x81LL); // expected-warning{{UNKNOWN}} in mixedComparisons6()
134 if ((a + 5) > 0x81LL) { 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()
141 void mixedComparisons7(signed char a) { in mixedComparisons7() argument
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()
152 void mixedComparisons8(signed char a) { in mixedComparisons8() argument
154 clang_analyzer_eval((a + 5) < 0LL); // expected-warning{{UNKNOWN}} in mixedComparisons8()
156 if ((a + 5) < 0LL) { 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()
163 void mixedComparisons9(signed char a) { in mixedComparisons9() argument
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()
175 void mixedSignedness1(int a) { in mixedSignedness1() argument
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()
182 void mixedSignedness2(int a) { in mixedSignedness2() argument
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()
189 void mixedSignedness3(unsigned a) { in mixedSignedness3() argument
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()
196 void mixedSignedness4(unsigned a) { in mixedSignedness4() argument
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()
203 void mixedSignedness5(unsigned a) { in mixedSignedness5() argument
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()
210 void mixedSignedness6(unsigned a) { in mixedSignedness6() argument
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()
217 void mixedSignedness7(unsigned a) { in mixedSignedness7() argument
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()
224 void mixedSignedness8(unsigned a) { in mixedSignedness8() argument
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()
231 void mixedSignedness9(unsigned a) { in mixedSignedness9() argument
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()
238 void mixedSignedness10(unsigned a) { in mixedSignedness10() argument
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()
245 void mixedSignedness11(int a) { in mixedSignedness11() argument
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()
252 void mixedSignedness12(int a) { in mixedSignedness12() argument
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()
259 void mixedSignedness13(int a) { in mixedSignedness13() argument
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()
266 void mixedSignedness14(int a) { in mixedSignedness14() argument
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()
273 void mixedSignedness15(int a) { in mixedSignedness15() argument
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()
280 void mixedSignedness16(int a) { in mixedSignedness16() argument
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()
287 void mixedSignedness17(int a) { in mixedSignedness17() argument
289 if (a < max) in mixedSignedness17()
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()
297 void mixedSignedness18(int a) { in mixedSignedness18() argument
298 if (a >= 0) in mixedSignedness18()
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()