predicate aware uninitialized analysis
[official-gcc.git] / gcc / testsuite / gcc.dg / uninit-pred-8_c.c
blob39d1bcd934638a9c9898523a98f01d464208a16c
2 /* { dg-do compile } */
3 /* { dg-options "-Wuninitialized -O2" } */
5 int g;
6 void bar();
7 void blah(int);
9 int foo (int n, int l, int m, int r)
11 int v;
13 if (n < 10 && m > 100 && r < 20 )
14 v = r;
16 if (m) g++;
17 else bar();
19 if ( n <= 8 && m > 101 && r < 19 )
20 blah(v); /* { dg-bogus "uninitialized" "bogus warning" } */
22 return 0;
25 int foo_2 (int n, int l, int m, int r)
27 int v;
29 if (n < 10 && m > 100 && r < 20 )
30 v = r;
32 if (m) g++;
33 else bar();
35 if ( n <= 8 && m > 99 && r < 19 )
36 blah(v); /* { dg-warning "uninitialized" "warning" } */
38 return 0;