7   int x; // expected-note{{initialize the variable 'x' to silence this warning}}  in test1()
8   return x; // expected-warning{{variable 'x' is uninitialized when used here}}  in test1()
13   return x; // no-warning  in test2()
19   return x; // no-warning  in test3()
23   int x; // expected-note{{initialize the variable 'x' to silence this warning}}  in test4()
24   ++x; // expected-warning{{variable 'x' is uninitialized when used here}}  in test4()
29   int x, y; // expected-note{{initialize the variable 'y' to silence this warning}}  in test5()
30   x = y; // expected-warning{{variable 'y' is uninitialized when used here}}  in test5()
35   int x; // expected-note{{initialize the variable 'x' to silence this warning}}  in test6()
36   x += 2; // expected-warning{{variable 'x' is uninitialized when used here}}  in test6()
41   int x; // expected-note{{initialize the variable 'x' to silence this warning}}  in test7()
42 …if (y) // expected-warning{{variable 'x' is used uninitialized whenever 'if' condition is false}} \  in test7()
54   // warning.  in test7b()
55   return x; // expected-warning{{variable 'x' may be uninitialized when used here}}  in test7b()
68   int x; // expected-note{{initialize the variable 'x' to silence this warning}}  in test9()
74   return x; // expected-warning{{variable 'x' may be uninitialized when used here}}  in test9()
78   int x; // expected-note{{initialize the variable 'x' to silence this warning}}  in test10()
82   return x; // expected-warning{{variable 'x' may be uninitialized when used here}}  in test10()
86   int x; // expected-note{{initialize the variable 'x' to silence this warning}}  in test11()
90   return x; // expected-warning{{variable 'x' may be uninitialized when used here}}  in test11()
94 … ; // expected-warning{{variable 'i' is uninitialized when used here}} expected-note{{initialize t…  in test12()
99   return i; // no-warning  in test13()
109   int x = x; // no-warning: signals intended lack of initialization.  in test15()
115 …int x = x; // expected-warning {{variable 'x' is uninitialized when used within its own initializa…  in test15b()
124     p[i] = 'a'; // no-warning  in test16()
130   int *x; // expected-note{{initialize the variable 'x' to silence this warning}}  in test17()
131   *x = 1; // expected-warning{{variable 'x' is uninitialized when used here}}  in test17()
132   *x = 1; // no-warning  in test17()
138     return z; // no-warning  in test18()
149     return z; // no-warning  in test19()
154   int z; // expected-note{{initialize the variable 'z' to silence this warning}}  in test20()
155 …if ((test19_aux1() + test19_aux2() && test19_aux1()) || test19_aux3(&z)) // expected-warning {{var…  in test20()
161   int z; // expected-note{{initialize the variable 'z' to silence this warning}}  in test21()
162 …if ((x && y) || test19_aux3(&z) || test19_aux2()) // expected-warning {{variable 'z' is used unini…  in test21()
170     return z; // no-warning  in test22()
177     return z; // no-warning  in test23()
186   unsigned val; // expected-note{{initialize the variable 'val' to silence this warning}}  in test24()
191   return val; // expected-warning{{variable 'val' may be uninitialized when used here}}  in test24()
195   float x; // expected-note{{initialize the variable 'x' to silence this warning}}  in test25()
196   return x; // expected-warning{{variable 'x' is uninitialized when used here}}  in test25()
201   MyInt x; // expected-note{{initialize the variable 'x' to silence this warning}}  in test26()
202   return x; // expected-warning{{variable 'x' is uninitialized when used here}}  in test26()
208   return sizeof(y->x); // no-warning  in test27()
212   int len; // expected-note{{initialize the variable 'len' to silence this warning}}  in test28()
213   return sizeof(int[len]); // expected-warning{{variable 'len' is uninitialized when used here}}  in test28()
217   int x; // expected-note{{initialize the variable 'x' to silence this warning}}  in test29()
218   (void) ^{ (void) x; }; // expected-warning{{variable 'x' is uninitialized when captured by block}}  in test29()
222   static int x; // no-warning  in test30()
227   __block int x; // no-warning  in test31()
233   (void) ^{ (void) test32_x; }; // no-warning  in test32()
237   int x; // no-warning  in test_33()
242   int x; // expected-note{{initialize the variable 'x' to silence this warning}}  in test_34()
244   return x; // expected-warning{{variable 'x' is uninitialized when used here}}  in test_34()
256   void **pc; // expected-note{{initialize the variable 'pc' to silence this warning}}  in test36()
259     goto *pc; // expected-warning{{variable 'pc' is uninitialized when used here}}  in test36()
272         return identifier; // no-warning  in test37()
285   int y; // expected-note{{initialize the variable 'y' to silence this warning}}  in test39()
286   int z = x + y; // expected-warning {{variable 'y' is uninitialized when used here}}  in test39()
292   int y; // expected-note{{initialize the variable 'y' to silence this warning}}  in test40()
293   return x ? 1 : y; // expected-warning {{variable 'y' is uninitialized when used here}}  in test40()
297   int y; // expected-note{{initialize the variable 'y' to silence this warning}}  in test41()
298 …if (x) y = 1; // expected-warning{{variable 'y' is used uninitialized whenever 'if' condition is f…  in test41()
305   a = 30; // no-warning  in test42()
310   int x; // expected-note{{initialize the variable 'x' to silence this warning}}  in test43()
312     test43_aux(x++); // expected-warning {{variable 'x' is uninitialized when used here}}  in test43()
317   int y; // expected-note{{initialize the variable 'y' to silence this warning}}  in test44()
319     test43_aux(x++); // no-warning  in test44()
320     x += y; // expected-warning {{variable 'y' is uninitialized when used here}}  in test44()
326   if (y) // no-warning  in test45()
333   int i; // expected-note{{initialize the variable 'i' to silence this warning}}  in test46()
334   int j = i ? : 1; // expected-warning {{variable 'i' is uninitialized when used here}}  in test46()
339   return i ? : 0; // no-warning  in test47()
345   return &a ? : i; // no-warning  in test49()
350   char c[1 ? : 2]; // no-warning  in test50()
359     return a; // no-warning  in test51()
364   int x;  // expected-note {{initialize the variable 'x' to silence this warning}}  in test52()
365   switch (a || b) { // expected-warning {{switch condition has boolean value}}  in test52()
373   return x; // expected-warning {{variable 'x' may be uninitialized when used here}}  in test52()
377   int x; // expected-note {{initialize the variable 'x' to silence this warning}}  in test53()
378   int y = (x);  // expected-warning {{variable 'x' is uninitialized when used here}}  in test53()
381 // This CFG caused the uninitialized values warning to inf-loop.
384   int new_len; // expected-note{{initialize the variable 'new_len' to silence this warning}}  in PR10379_f()
392     *len += new_len; // expected-warning {{variable 'new_len' may be uninitialized when used here}}  in PR10379_f()
396 // Test that sizeof(VLA) doesn't trigger a warning.
398   double (*memory)[2][x] = malloc(sizeof(*memory)); // no-warning  in test_vla_sizeof()
408   return x; // no-warning  in test_block_and_dead_code()
419     // This does not trigger a warning because it isn't a real use.  in PR11069()
420     (void)(flags); // no-warning  in PR11069()
426   int i; // expected-note {{initialize the variable 'i' to silence this warning}}  in rdar9432305()
427   for (; i < 10000; ++i) // expected-warning {{variable 'i' is uninitialized when used here}}  in rdar9432305()
435   UNINIT(int, a, b);  // expected-warning {{variable 'a' is uninitialized when used here}} \  in test54()
437   int c;  // expected-note {{initialize the variable 'c' to silence this warning}}  in test54()
438   ASSIGN(int, c, d);  // expected-warning {{variable 'c' is uninitialized when used here}}  in test54()
442 struct { struct { void *p; } a; } test55 = { { &test55.a }}; // no-warning
443 struct { struct { void *p; } a; } test56 = { { &(test56.a) }}; // no-warning
450     consume(k); // expected-warning {{variable 'k' is uninitialized}}  in uninit_in_loop()
465     consume(k); // expected-warning {{variable 'k' may be uninitialized}}  in uninit_in_loop_goto()
477   if (!a) { // expected-warning {{variable 'a' is uninitialized}}  in returns_twice()
483       a = b; // no warning  in returns_twice()
492     sum += arr[i]; // expected-warning {{variable 'sum' is uninitialized}}  in compound_assign()
498   return x += 1; // expected-warning {{variable 'x' is uninitialized}}  in compound_assign_2()
503   x *= 0; // expected-warning {{variable 'x' is uninitialized}}  in compound_assign_3()
515   int x; // expected-note {{initialize the variable 'x' to silence this warning}}  in test_analyzer_noreturn()
518 	++x; // no-warning  in test_analyzer_noreturn()
521 	++x; // expected-warning {{variable 'x' is uninitialized when used here}}  in test_analyzer_noreturn()
532   ++x; // no-warning  in test_analyzer_noreturn_2()