param_cleared: handle direct assignments
[smatch.git] / validation / struct-size1.c
blobcf956a41ca845c463c4f93a16053c5e36a8ff10f
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])];
20 * check-name: struct size