14 void test_left_tree_constrained(int x, int y, int z) {  in test_left_tree_constrained()  argument
15   if (x + y + z != 0)  in test_left_tree_constrained()
19   clang_analyzer_eval(x + y + z == 0); // expected-warning{{TRUE}}  in test_left_tree_constrained()
21   clang_analyzer_eval(z == 0);         // expected-warning{{TRUE}}  in test_left_tree_constrained()
22   x = y = z = 1;  in test_left_tree_constrained()
26 void test_right_tree_constrained(int x, int y, int z) {  in test_right_tree_constrained()  argument
27   if (x + y * z != 0)  in test_right_tree_constrained()
29   if (y * z != 0)  in test_right_tree_constrained()
31   clang_analyzer_eval(x + y * z == 0); // expected-warning{{TRUE}}  in test_right_tree_constrained()
32   clang_analyzer_eval(y * z == 0);     // expected-warning{{TRUE}}  in test_right_tree_constrained()
37 void test_left_tree_constrained_minus(int x, int y, int z) {  in test_left_tree_constrained_minus()  argument
38   if (x - y - z != 0)  in test_left_tree_constrained_minus()
42   clang_analyzer_eval(x - y - z == 0); // expected-warning{{TRUE}}  in test_left_tree_constrained_minus()
44   clang_analyzer_eval(z == 0);         // expected-warning{{TRUE}}  in test_left_tree_constrained_minus()
45   x = y = z = 1;  in test_left_tree_constrained_minus()
49 void test_SymInt_constrained(int x, int y, int z) {  in test_SymInt_constrained()  argument
50   if (x * y * z != 4)  in test_SymInt_constrained()
52   if (z != 2)  in test_SymInt_constrained()
58   (void)(x * y * z);  in test_SymInt_constrained()
61 void test_SValBuilder_simplifies_IntSym(int x, int y, int z) {  in test_SValBuilder_simplifies_IntSym()  argument
64   x = 77 / (y + z);  in test_SValBuilder_simplifies_IntSym()
65   if (y + z != 1)  in test_SValBuilder_simplifies_IntSym()
68   (void)(x * y * z);  in test_SValBuilder_simplifies_IntSym()