1 …ng_cc1 -analyze -analyzer-checker=core,deadcode.DeadStores,alpha.deadcode.UnreachableCode -verify …
5 // The first few tests are non-path specific - we should be able to find them
9     a += 5; // expected-warning{{never executed}}  in test()
10   case 2:  in test()
12   case 3:  in test()
24   foo(a); // expected-warning{{never executed}}  in test2()
30   if (a > 5) { // expected-warning{{never executed}}  in test3()
35 // These next tests are path-sensitive
41     a -= 2;  in test4()
44     a = a + 56; // expected-warning{{never executed}}  in test4()
56     bar(1); // expected-warning{{never executed}}  in test5()
65   __builtin_unreachable(); // no-warning  in test6()
68 // Compile-time constant false positives
73     return; // no-warning  in test7()
76     return; // no-warning  in test7()
79     return; // no-warning  in test7()
86     a = 123; // no-warning  in test8()
94     if (a) // expected-warning{{never executed}}  in test9()
95       foo(a + 5); // no-warning  in test9()
96     else          // no-warning  in test9()
97       foo(a);     // no-warning  in test9()
98     case 1:  in test9()
99     case 2:  in test9()
106 // Tests from flow-sensitive version
110   goto e; // expected-warning {{never executed}}  in test10()
114   goto b; // expected-warning {{never executed}}  in test10()
115   goto a; // expected-warning {{never executed}}  in test10()
117   i = 1; // no-warning  in test10()
119   i = 2;  // no-warning  in test10()
126 // test11: we can actually end up in the default case, even if it is not
132     case FOO:  in test11()
134     case BAR:  in test11()
137       error(); // no-warning  in test11()
139       error(); // expected-warning {{never executed}}  in test11()
145     foo(5); // no-warning  in inlined()
157       foo(5); // expected-warning {{never executed}}  in testInlined()