49 void testSwitchCond(int arg) {  in testSwitchCond()  argument
50   if (arg > 10) {  in testSwitchCond()
51     switch (arg) {  in testSwitchCond()
62     switch (arg) {  in testSwitchCond()
68       clang_analyzer_eval(arg > 10);   // expected-warning{{TRUE}}  in testSwitchCond()
76 void testDefaultUnreachable(int arg) {  in testDefaultUnreachable()  argument
77   if (arg > 10) {  in testDefaultUnreachable()
78     switch (arg) {  in testDefaultUnreachable()
84       clang_analyzer_eval(arg > 10);    // expected-warning{{TRUE}}  in testDefaultUnreachable()
92 void testBranchReachability(int arg) {  in testBranchReachability()  argument
93   if (arg > 10 && arg < 20) {  in testBranchReachability()
94     switch (arg) {  in testBranchReachability()
103       clang_analyzer_eval(arg > 10 && arg <= 15);  // expected-warning{{TRUE}}  in testBranchReachability()
110       clang_analyzer_eval(arg >= 17 && arg < 20);  // expected-warning{{TRUE}}  in testBranchReachability()
117       clang_analyzer_eval(arg == 16);   // expected-warning{{TRUE}}  in testBranchReachability()
123 void testDefaultBranchRange(int arg) {  in testDefaultBranchRange()  argument
124   switch (arg) {  in testDefaultBranchRange()
130     clang_analyzer_eval(arg >= 20);  // expected-warning{{TRUE}}  in testDefaultBranchRange()
134     clang_analyzer_eval(arg == 16);  // expected-warning{{FALSE}}  in testDefaultBranchRange()
135     clang_analyzer_eval(arg > 9);    // expected-warning{{TRUE}}  in testDefaultBranchRange()
136     clang_analyzer_eval(arg <= 20);  // expected-warning{{TRUE}}  in testDefaultBranchRange()
143 void testAllUnreachableButDefault(int arg) {  in testAllUnreachableButDefault()  argument
144   if (arg < 0) {  in testAllUnreachableButDefault()
145     switch (arg) {  in testAllUnreachableButDefault()
162 void testAllUnreachable(int arg) {  in testAllUnreachable()  argument
163   if (arg < 0) {  in testAllUnreachable()
164     switch (arg) {  in testAllUnreachable()
178 void testDifferentTypes(int arg) {  in testDifferentTypes()  argument
179   switch (arg) {  in testDifferentTypes()
189 void testDifferentTypes2(unsigned long arg) {  in testDifferentTypes2()  argument
190   switch (arg) {  in testDifferentTypes2()
200 void testDifferentTypes3(int arg) {  in testDifferentTypes3()  argument
201   switch (arg) {  in testDifferentTypes3()