Lines Matching full:y
5 void comparison_lt(int x, int y) { in comparison_lt() argument
6 if (x < y) { in comparison_lt()
7 clang_analyzer_eval(x < y); // expected-warning{{TRUE}} in comparison_lt()
8 clang_analyzer_eval(y > x); // expected-warning{{TRUE}} in comparison_lt()
9 clang_analyzer_eval(x > y); // expected-warning{{FALSE}} in comparison_lt()
10 clang_analyzer_eval(y < x); // expected-warning{{FALSE}} in comparison_lt()
11 clang_analyzer_eval(x <= y); // expected-warning{{TRUE}} in comparison_lt()
12 clang_analyzer_eval(y >= x); // expected-warning{{TRUE}} in comparison_lt()
13 clang_analyzer_eval(x >= y); // expected-warning{{FALSE}} in comparison_lt()
14 clang_analyzer_eval(y <= x); // expected-warning{{FALSE}} in comparison_lt()
15 clang_analyzer_eval(x == y); // expected-warning{{FALSE}} in comparison_lt()
16 clang_analyzer_eval(y == x); // expected-warning{{FALSE}} in comparison_lt()
17 clang_analyzer_eval(x != y); // expected-warning{{TRUE}} in comparison_lt()
18 clang_analyzer_eval(y != x); // expected-warning{{TRUE}} in comparison_lt()
20 clang_analyzer_eval(x < y); // expected-warning{{FALSE}} in comparison_lt()
21 clang_analyzer_eval(y > x); // expected-warning{{FALSE}} in comparison_lt()
22 clang_analyzer_eval(x > y); // expected-warning{{TRUE}} expected-warning{{FALSE}} in comparison_lt()
23 clang_analyzer_eval(y < x); // expected-warning{{TRUE}} expected-warning{{FALSE}} in comparison_lt()
24 clang_analyzer_eval(x <= y); // expected-warning{{TRUE}} expected-warning{{FALSE}} in comparison_lt()
25 clang_analyzer_eval(y >= x); // expected-warning{{TRUE}} expected-warning{{FALSE}} in comparison_lt()
26 clang_analyzer_eval(x >= y); // expected-warning{{TRUE}} in comparison_lt()
27 clang_analyzer_eval(y <= x); // expected-warning{{TRUE}} in comparison_lt()
28 clang_analyzer_eval(x == y); // expected-warning{{TRUE}} expected-warning{{FALSE}} in comparison_lt()
29 clang_analyzer_eval(y == x); // expected-warning{{TRUE}} expected-warning{{FALSE}} in comparison_lt()
30 clang_analyzer_eval(x != y); // expected-warning{{TRUE}} expected-warning{{FALSE}} in comparison_lt()
31 clang_analyzer_eval(y != x); // expected-warning{{TRUE}} expected-warning{{FALSE}} in comparison_lt()
35 void comparison_gt(int x, int y) { in comparison_gt() argument
36 if (x > y) { in comparison_gt()
37 clang_analyzer_eval(x < y); // expected-warning{{FALSE}} in comparison_gt()
38 clang_analyzer_eval(y > x); // expected-warning{{FALSE}} in comparison_gt()
39 clang_analyzer_eval(x > y); // expected-warning{{TRUE}} in comparison_gt()
40 clang_analyzer_eval(y < x); // expected-warning{{TRUE}} in comparison_gt()
41 clang_analyzer_eval(x <= y); // expected-warning{{FALSE}} in comparison_gt()
42 clang_analyzer_eval(y >= x); // expected-warning{{FALSE}} in comparison_gt()
43 clang_analyzer_eval(x >= y); // expected-warning{{TRUE}} in comparison_gt()
44 clang_analyzer_eval(y <= x); // expected-warning{{TRUE}} in comparison_gt()
45 clang_analyzer_eval(x == y); // expected-warning{{FALSE}} in comparison_gt()
46 clang_analyzer_eval(y == x); // expected-warning{{FALSE}} in comparison_gt()
47 clang_analyzer_eval(x != y); // expected-warning{{TRUE}} in comparison_gt()
48 clang_analyzer_eval(y != x); // expected-warning{{TRUE}} in comparison_gt()
50 clang_analyzer_eval(x < y); // expected-warning{{TRUE}} expected-warning{{FALSE}} in comparison_gt()
51 clang_analyzer_eval(y > x); // expected-warning{{TRUE}} expected-warning{{FALSE}} in comparison_gt()
52 clang_analyzer_eval(x > y); // expected-warning{{FALSE}} in comparison_gt()
53 clang_analyzer_eval(y < x); // expected-warning{{FALSE}} in comparison_gt()
54 clang_analyzer_eval(x <= y); // expected-warning{{TRUE}} in comparison_gt()
55 clang_analyzer_eval(y >= x); // expected-warning{{TRUE}} in comparison_gt()
56 clang_analyzer_eval(x >= y); // expected-warning{{TRUE}} expected-warning{{FALSE}} in comparison_gt()
57 clang_analyzer_eval(y <= x); // expected-warning{{TRUE}} expected-warning{{FALSE}} in comparison_gt()
58 clang_analyzer_eval(x == y); // expected-warning{{TRUE}} expected-warning{{FALSE}} in comparison_gt()
59 clang_analyzer_eval(y == x); // expected-warning{{TRUE}} expected-warning{{FALSE}} in comparison_gt()
60 clang_analyzer_eval(x != y); // expected-warning{{TRUE}} expected-warning{{FALSE}} in comparison_gt()
61 clang_analyzer_eval(y != x); // expected-warning{{TRUE}} expected-warning{{FALSE}} in comparison_gt()
65 void comparison_le(int x, int y) { in comparison_le() argument
66 if (x <= y) { in comparison_le()
67 clang_analyzer_eval(x < y); // expected-warning{{TRUE}} expected-warning{{FALSE}} in comparison_le()
68 clang_analyzer_eval(y > x); // expected-warning{{TRUE}} expected-warning{{FALSE}} in comparison_le()
69 clang_analyzer_eval(x > y); // expected-warning{{FALSE}} in comparison_le()
70 clang_analyzer_eval(y < x); // expected-warning{{FALSE}} in comparison_le()
71 clang_analyzer_eval(x <= y); // expected-warning{{TRUE}} in comparison_le()
72 clang_analyzer_eval(y >= x); // expected-warning{{TRUE}} in comparison_le()
73 clang_analyzer_eval(x >= y); // expected-warning{{TRUE}} expected-warning{{FALSE}} in comparison_le()
74 clang_analyzer_eval(y <= x); // expected-warning{{TRUE}} expected-warning{{FALSE}} in comparison_le()
75 clang_analyzer_eval(x == y); // expected-warning{{TRUE}} expected-warning{{FALSE}} in comparison_le()
76 clang_analyzer_eval(y == x); // expected-warning{{TRUE}} expected-warning{{FALSE}} in comparison_le()
77 clang_analyzer_eval(x != y); // expected-warning{{TRUE}} expected-warning{{FALSE}} in comparison_le()
78 clang_analyzer_eval(y != x); // expected-warning{{TRUE}} expected-warning{{FALSE}} in comparison_le()
80 clang_analyzer_eval(x < y); // expected-warning{{FALSE}} in comparison_le()
81 clang_analyzer_eval(y > x); // expected-warning{{FALSE}} in comparison_le()
82 clang_analyzer_eval(x > y); // expected-warning{{TRUE}} in comparison_le()
83 clang_analyzer_eval(y < x); // expected-warning{{TRUE}} in comparison_le()
84 clang_analyzer_eval(x <= y); // expected-warning{{FALSE}} in comparison_le()
85 clang_analyzer_eval(y >= x); // expected-warning{{FALSE}} in comparison_le()
86 clang_analyzer_eval(x >= y); // expected-warning{{TRUE}} in comparison_le()
87 clang_analyzer_eval(y <= x); // expected-warning{{TRUE}} in comparison_le()
88 clang_analyzer_eval(x == y); // expected-warning{{FALSE}} in comparison_le()
89 clang_analyzer_eval(y == x); // expected-warning{{FALSE}} in comparison_le()
90 clang_analyzer_eval(x != y); // expected-warning{{TRUE}} in comparison_le()
91 clang_analyzer_eval(y != x); // expected-warning{{TRUE}} in comparison_le()
95 void comparison_ge(int x, int y) { in comparison_ge() argument
96 if (x >= y) { in comparison_ge()
97 clang_analyzer_eval(x < y); // expected-warning{{FALSE}} in comparison_ge()
98 clang_analyzer_eval(y > x); // expected-warning{{FALSE}} in comparison_ge()
99 clang_analyzer_eval(x > y); // expected-warning{{TRUE}} expected-warning{{FALSE}} in comparison_ge()
100 clang_analyzer_eval(y < x); // expected-warning{{TRUE}} expected-warning{{FALSE}} in comparison_ge()
101 clang_analyzer_eval(x <= y); // expected-warning{{TRUE}} expected-warning{{FALSE}} in comparison_ge()
102 clang_analyzer_eval(y >= x); // expected-warning{{TRUE}} expected-warning{{FALSE}} in comparison_ge()
103 clang_analyzer_eval(x >= y); // expected-warning{{TRUE}} in comparison_ge()
104 clang_analyzer_eval(y <= x); // expected-warning{{TRUE}} in comparison_ge()
105 clang_analyzer_eval(x == y); // expected-warning{{TRUE}} expected-warning{{FALSE}} in comparison_ge()
106 clang_analyzer_eval(y == x); // expected-warning{{TRUE}} expected-warning{{FALSE}} in comparison_ge()
107 clang_analyzer_eval(x != y); // expected-warning{{TRUE}} expected-warning{{FALSE}} in comparison_ge()
108 clang_analyzer_eval(y != x); // expected-warning{{TRUE}} expected-warning{{FALSE}} in comparison_ge()
110 clang_analyzer_eval(x < y); // expected-warning{{TRUE}} in comparison_ge()
111 clang_analyzer_eval(y > x); // expected-warning{{TRUE}} in comparison_ge()
112 clang_analyzer_eval(x > y); // expected-warning{{FALSE}} in comparison_ge()
113 clang_analyzer_eval(y < x); // expected-warning{{FALSE}} in comparison_ge()
114 clang_analyzer_eval(x <= y); // expected-warning{{TRUE}} in comparison_ge()
115 clang_analyzer_eval(y >= x); // expected-warning{{TRUE}} in comparison_ge()
116 clang_analyzer_eval(x >= y); // expected-warning{{FALSE}} in comparison_ge()
117 clang_analyzer_eval(y <= x); // expected-warning{{FALSE}} in comparison_ge()
118 clang_analyzer_eval(x == y); // expected-warning{{FALSE}} in comparison_ge()
119 clang_analyzer_eval(y == x); // expected-warning{{FALSE}} in comparison_ge()
120 clang_analyzer_eval(x != y); // expected-warning{{TRUE}} in comparison_ge()
121 clang_analyzer_eval(y != x); // expected-warning{{TRUE}} in comparison_ge()
125 void comparison_eq(int x, int y) { in comparison_eq() argument
126 if (x == y) { in comparison_eq()
127 clang_analyzer_eval(x < y); // expected-warning{{FALSE}} in comparison_eq()
128 clang_analyzer_eval(y > x); // expected-warning{{FALSE}} in comparison_eq()
129 clang_analyzer_eval(x > y); // expected-warning{{FALSE}} in comparison_eq()
130 clang_analyzer_eval(y < x); // expected-warning{{FALSE}} in comparison_eq()
131 clang_analyzer_eval(x <= y); // expected-warning{{TRUE}} in comparison_eq()
132 clang_analyzer_eval(y >= x); // expected-warning{{TRUE}} in comparison_eq()
133 clang_analyzer_eval(x >= y); // expected-warning{{TRUE}} in comparison_eq()
134 clang_analyzer_eval(y <= x); // expected-warning{{TRUE}} in comparison_eq()
135 clang_analyzer_eval(x == y); // expected-warning{{TRUE}} in comparison_eq()
136 clang_analyzer_eval(y == x); // expected-warning{{TRUE}} in comparison_eq()
137 clang_analyzer_eval(x != y); // expected-warning{{FALSE}} in comparison_eq()
138 clang_analyzer_eval(y != x); // expected-warning{{FALSE}} in comparison_eq()
140 clang_analyzer_eval(x < y); // expected-warning{{TRUE}} expected-warning{{FALSE}} in comparison_eq()
141 clang_analyzer_eval(y > x); // expected-warning{{TRUE}} expected-warning{{FALSE}} in comparison_eq()
142 clang_analyzer_eval(x > y); // expected-warning{{TRUE}} expected-warning{{FALSE}} in comparison_eq()
143 clang_analyzer_eval(y < x); // expected-warning{{TRUE}} expected-warning{{FALSE}} in comparison_eq()
144 clang_analyzer_eval(x <= y); // expected-warning{{TRUE}} expected-warning{{FALSE}} in comparison_eq()
145 clang_analyzer_eval(y >= x); // expected-warning{{TRUE}} expected-warning{{FALSE}} in comparison_eq()
146 clang_analyzer_eval(x >= y); // expected-warning{{TRUE}} expected-warning{{FALSE}} in comparison_eq()
147 clang_analyzer_eval(y <= x); // expected-warning{{TRUE}} expected-warning{{FALSE}} in comparison_eq()
148 clang_analyzer_eval(x == y); // expected-warning{{FALSE}} in comparison_eq()
149 clang_analyzer_eval(y == x); // expected-warning{{FALSE}} in comparison_eq()
150 clang_analyzer_eval(x != y); // expected-warning{{TRUE}} in comparison_eq()
151 clang_analyzer_eval(y != x); // expected-warning{{TRUE}} in comparison_eq()
155 void comparison_ne(int x, int y) { in comparison_ne() argument
156 if (x != y) { in comparison_ne()
157 clang_analyzer_eval(x < y); // expected-warning{{TRUE}} expected-warning{{FALSE}} in comparison_ne()
158 clang_analyzer_eval(y > x); // expected-warning{{TRUE}} expected-warning{{FALSE}} in comparison_ne()
159 clang_analyzer_eval(x > y); // expected-warning{{TRUE}} expected-warning{{FALSE}} in comparison_ne()
160 clang_analyzer_eval(y < x); // expected-warning{{TRUE}} expected-warning{{FALSE}} in comparison_ne()
161 clang_analyzer_eval(x <= y); // expected-warning{{TRUE}} expected-warning{{FALSE}} in comparison_ne()
162 clang_analyzer_eval(y >= x); // expected-warning{{TRUE}} expected-warning{{FALSE}} in comparison_ne()
163 clang_analyzer_eval(x >= y); // expected-warning{{TRUE}} expected-warning{{FALSE}} in comparison_ne()
164 clang_analyzer_eval(y <= x); // expected-warning{{TRUE}} expected-warning{{FALSE}} in comparison_ne()
165 clang_analyzer_eval(x == y); // expected-warning{{FALSE}} in comparison_ne()
166 clang_analyzer_eval(y == x); // expected-warning{{FALSE}} in comparison_ne()
167 clang_analyzer_eval(x != y); // expected-warning{{TRUE}} in comparison_ne()
168 clang_analyzer_eval(y != x); // expected-warning{{TRUE}} in comparison_ne()
170 clang_analyzer_eval(x < y); // expected-warning{{FALSE}} in comparison_ne()
171 clang_analyzer_eval(y > x); // expected-warning{{FALSE}} in comparison_ne()
172 clang_analyzer_eval(x > y); // expected-warning{{FALSE}} in comparison_ne()
173 clang_analyzer_eval(y < x); // expected-warning{{FALSE}} in comparison_ne()
174 clang_analyzer_eval(x <= y); // expected-warning{{TRUE}} in comparison_ne()
175 clang_analyzer_eval(y >= x); // expected-warning{{TRUE}} in comparison_ne()
176 clang_analyzer_eval(x >= y); // expected-warning{{TRUE}} in comparison_ne()
177 clang_analyzer_eval(y <= x); // expected-warning{{TRUE}} in comparison_ne()
178 clang_analyzer_eval(x == y); // expected-warning{{TRUE}} in comparison_ne()
179 clang_analyzer_eval(y == x); // expected-warning{{TRUE}} in comparison_ne()
180 clang_analyzer_eval(x != y); // expected-warning{{FALSE}} in comparison_ne()
181 clang_analyzer_eval(y != x); // expected-warning{{FALSE}} in comparison_ne()
185 void comparison_le_ne(int x, int y) { in comparison_le_ne() argument
186 if (x <= y) in comparison_le_ne()
187 if (x != y) { in comparison_le_ne()
188 clang_analyzer_eval(x < y); // expected-warning{{TRUE}} in comparison_le_ne()
189 clang_analyzer_eval(y > x); // expected-warning{{TRUE}} in comparison_le_ne()
190 clang_analyzer_eval(x >= y); // expected-warning{{FALSE}} in comparison_le_ne()
191 clang_analyzer_eval(y <= x); // expected-warning{{FALSE}} in comparison_le_ne()
195 void comparison_ge_ne(int x, int y) { in comparison_ge_ne() argument
196 if (x >= y) in comparison_ge_ne()
197 if (x != y) { in comparison_ge_ne()
198 clang_analyzer_eval(x > y); // expected-warning{{TRUE}} in comparison_ge_ne()
199 clang_analyzer_eval(y < x); // expected-warning{{TRUE}} in comparison_ge_ne()
200 clang_analyzer_eval(x <= y); // expected-warning{{FALSE}} in comparison_ge_ne()
201 clang_analyzer_eval(y >= x); // expected-warning{{FALSE}} in comparison_ge_ne()
205 void comparison_le_ge(int x, int y) { in comparison_le_ge() argument
206 if (x <= y) in comparison_le_ge()
207 if (x >= y) { in comparison_le_ge()
208 clang_analyzer_eval(x == y); // expected-warning{{TRUE}} in comparison_le_ge()
209 clang_analyzer_eval(y == x); // expected-warning{{TRUE}} in comparison_le_ge()
210 clang_analyzer_eval(x != y); // expected-warning{{FALSE}} in comparison_le_ge()
211 clang_analyzer_eval(y != x); // expected-warning{{FALSE}} in comparison_le_ge()