analyzer: enable taint state machine by default [PR103533]
[official-gcc.git] / gcc / testsuite / c-c++-common / Winit-self3.c
blobb83135f193bddd3f88bd7ad32ee23e104baba93c
1 /* PR c++/105593 */
2 /* { dg-do compile } */
3 /* { dg-options "-W -Wall" } */
5 void bar (int);
7 static inline int
8 baz (void)
10 #pragma GCC diagnostic push
11 #pragma GCC diagnostic ignored "-Winit-self"
12 int u = u; /* { dg-bogus "'u' is used uninitialized" } */
13 #pragma GCC diagnostic pop
14 return u;
17 void
18 foo (void)
20 int u = baz ();
21 bar (u);
24 static inline int
25 qux (void)
27 int u = u; /* { dg-warning "'u' is used uninitialized" "" { target c++ } } */
28 return u; /* { dg-message "'u' was declared here" "" { target c++ } .-1 } */
31 void
32 corge (void)
34 int u = qux ();
35 bar (u);