171 void use_symbols(int *lhs, int *rhs) {  in use_symbols()  argument
172   clang_analyzer_eval(lhs < rhs); // expected-warning{{UNKNOWN}}  in use_symbols()
173   if (lhs < rhs)  in use_symbols()
175   clang_analyzer_eval(lhs < rhs); // expected-warning{{FALSE}}  in use_symbols()
177   clang_analyzer_eval(lhs - rhs); // expected-warning{{UNKNOWN}}  in use_symbols()
178   if ((lhs - rhs) != 5)  in use_symbols()
180   clang_analyzer_eval((lhs - rhs) == 5); // expected-warning{{TRUE}}  in use_symbols()
183 void equal_implies_zero(int *lhs, int *rhs) {  in equal_implies_zero()  argument
184   clang_analyzer_eval(lhs == rhs); // expected-warning{{UNKNOWN}}  in equal_implies_zero()
185   if (lhs == rhs) {  in equal_implies_zero()
186     clang_analyzer_eval(lhs != rhs); // expected-warning{{FALSE}}  in equal_implies_zero()
187     clang_analyzer_eval((rhs - lhs) == 0); // expected-warning{{TRUE}}  in equal_implies_zero()
190   clang_analyzer_eval(lhs == rhs); // expected-warning{{FALSE}}  in equal_implies_zero()
191   clang_analyzer_eval(lhs != rhs); // expected-warning{{TRUE}}  in equal_implies_zero()
192   clang_analyzer_eval((rhs - lhs) == 0); // expected-warning{{FALSE}}  in equal_implies_zero()
195 void zero_implies_equal(int *lhs, int *rhs) {  in zero_implies_equal()  argument
196   clang_analyzer_eval((rhs - lhs) == 0); // expected-warning{{UNKNOWN}}  in zero_implies_equal()
197   if ((rhs - lhs) == 0) {  in zero_implies_equal()
198     clang_analyzer_eval(lhs != rhs); // expected-warning{{FALSE}}  in zero_implies_equal()
199     clang_analyzer_eval(lhs == rhs); // expected-warning{{TRUE}}  in zero_implies_equal()
202   clang_analyzer_eval((rhs - lhs) == 0); // expected-warning{{FALSE}}  in zero_implies_equal()
203   clang_analyzer_eval(lhs == rhs); // expected-warning{{FALSE}}  in zero_implies_equal()
204   clang_analyzer_eval(lhs != rhs); // expected-warning{{TRUE}}  in zero_implies_equal()
207 void comparisons_imply_size(int *lhs, int *rhs) {  in comparisons_imply_size()  argument
208   clang_analyzer_eval(lhs <= rhs); // expected-warning{{UNKNOWN}}  in comparisons_imply_size()
210   if (lhs > rhs) {  in comparisons_imply_size()
211     clang_analyzer_eval((rhs - lhs) == 0); // expected-warning{{FALSE}}  in comparisons_imply_size()
215   clang_analyzer_eval(lhs <= rhs); // expected-warning{{TRUE}}  in comparisons_imply_size()
216   clang_analyzer_eval((rhs - lhs) >= 0); // expected-warning{{TRUE}}  in comparisons_imply_size()
217   clang_analyzer_eval((rhs - lhs) > 0); // expected-warning{{UNKNOWN}}  in comparisons_imply_size()
219   if (lhs >= rhs) {  in comparisons_imply_size()
220     clang_analyzer_eval((rhs - lhs) == 0); // expected-warning{{TRUE}}  in comparisons_imply_size()
224   clang_analyzer_eval(lhs == rhs); // expected-warning{{FALSE}}  in comparisons_imply_size()
225   clang_analyzer_eval(lhs < rhs); // expected-warning{{TRUE}}  in comparisons_imply_size()
226   clang_analyzer_eval((rhs - lhs) > 0); // expected-warning{{TRUE}}  in comparisons_imply_size()
229 void size_implies_comparison(int *lhs, int *rhs) {  in size_implies_comparison()  argument
230   clang_analyzer_eval(lhs <= rhs); // expected-warning{{UNKNOWN}}  in size_implies_comparison()
232   if ((rhs - lhs) < 0) {  in size_implies_comparison()
233     clang_analyzer_eval(lhs == rhs); // expected-warning{{FALSE}}  in size_implies_comparison()
237   clang_analyzer_eval(lhs <= rhs); // expected-warning{{TRUE}}  in size_implies_comparison()
238   clang_analyzer_eval((rhs - lhs) >= 0); // expected-warning{{TRUE}}  in size_implies_comparison()
239   clang_analyzer_eval((rhs - lhs) > 0); // expected-warning{{UNKNOWN}}  in size_implies_comparison()
241   if ((rhs - lhs) <= 0) {  in size_implies_comparison()
242     clang_analyzer_eval(lhs == rhs); // expected-warning{{TRUE}}  in size_implies_comparison()
246   clang_analyzer_eval(lhs == rhs); // expected-warning{{FALSE}}  in size_implies_comparison()
247   clang_analyzer_eval(lhs < rhs); // expected-warning{{TRUE}}  in size_implies_comparison()
248   clang_analyzer_eval((rhs - lhs) > 0); // expected-warning{{TRUE}}  in size_implies_comparison()
255 void zero_implies_reversed_equal(int *lhs, int *rhs) {  in zero_implies_reversed_equal()  argument
256   clang_analyzer_eval((rhs - lhs) == 0); // expected-warning{{UNKNOWN}}  in zero_implies_reversed_equal()
257   if ((rhs - lhs) == 0) {  in zero_implies_reversed_equal()
259     clang_analyzer_eval(rhs != lhs); // expected-warning{{UNKNOWN}}  in zero_implies_reversed_equal()
261     clang_analyzer_eval(rhs == lhs); // expected-warning{{UNKNOWN}}  in zero_implies_reversed_equal()
264   clang_analyzer_eval((rhs - lhs) == 0); // expected-warning{{FALSE}}  in zero_implies_reversed_equal()
266   clang_analyzer_eval(rhs == lhs); // expected-warning{{UNKNOWN}}  in zero_implies_reversed_equal()
268   clang_analyzer_eval(rhs != lhs); // expected-warning{{UNKNOWN}}  in zero_implies_reversed_equal()
271 void canonical_equal(int *lhs, int *rhs) {  in canonical_equal()  argument
272   clang_analyzer_eval(lhs == rhs); // expected-warning{{UNKNOWN}}  in canonical_equal()
273   if (lhs == rhs) {  in canonical_equal()
275     clang_analyzer_eval(rhs == lhs); // expected-warning{{UNKNOWN}}  in canonical_equal()
278   clang_analyzer_eval(lhs == rhs); // expected-warning{{FALSE}}  in canonical_equal()
281   clang_analyzer_eval(rhs == lhs); // expected-warning{{UNKNOWN}}  in canonical_equal()