example: OP_COPY must destroy any old pseudo state
[smatch.git] / validation / struct-ns2.c
blob2c543c2abe1a02678101f877edb559b92683a698
1 void
2 g (struct Bar { int i; } *x)
4 struct Bar y;
5 y.i = 1;
8 void
9 h (void)
11 // This is not in scope and should barf loudly.
12 struct Bar y;
13 y.i = 1;