analyzer: enable taint state machine by default [PR103533]
[official-gcc.git] / gcc / testsuite / c-c++-common / pr59223.c
blobf91e443005822c8f827f8fc9475223b6eecbabca
1 /* PR c/59223 */
2 /* { dg-do compile } */
3 /* { dg-options "-O2 -Wmaybe-uninitialized" } */
5 int foo (int x)
7 int y;
8 if (x == 0)
9 y = 1;
10 else if (x == 1)
11 y = 2;
12 return y; /* { dg-warning "may be used uninitialized" } */