*new* check_macros: find macro precedence bugs
[smatch.git] / validation / struct-size1.c
blob4748cd3cb91f860791795a262a6b08bd4e5dacd8
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 static 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])];