Move the implications checking to after the scripts have set their states.
[smatch.git] / validation / struct-ns2.c
blobb38af0ab562f2f10835a9f9a1afd6f62e03c0a4d
1 static void
2 g (struct Bar { int i; } *x)
4 struct Bar y;
5 y.i = 1;
8 static void
9 h (void)
11 // This is not in scope and should barf loudly.
12 struct Bar y;
13 y.i = 1;