param_cleared: handle direct assignments
[smatch.git] / validation / transparent-union.c
blob149c7d947683d81fd267efe135d1d2d6490a44aa
1 struct a {
2 int field;
3 };
4 struct b {
5 int field;
6 };
8 typedef union {
9 struct a *a;
10 struct b *b;
11 } transparent_arg __attribute__((__transparent_union__));
13 static void foo(transparent_arg arg)
17 static void bar(void)
19 struct b arg = { 0 };
20 foo((struct a *) &arg);
24 * check-name: Transparent union attribute.