example: OP_COPY must destroy any old pseudo state
[smatch.git] / validation / struct-size1.c
blobb2d5755b1968c539cefdd248d4228be84904acf5
1 struct A;
2 struct B {
3 struct A *pA;
4 };
5 struct C;
6 struct E {
7 struct A **pA;
8 struct C *pC;
9 };
10 void f(struct E *pE, struct B *pB)
12 pB->pA = pE->pA[0];
14 static const struct { int x; } foo[] = {{ 1 }};
15 struct C {
16 int bar[(sizeof foo/sizeof foo[0])];