db/fixup_kernel.sh: fix clear_user() handling
[smatch.git] / validation / expand / union-cast.c
bloba28d01f22b92e8ae50dd275cfcfc269089598d95
1 union u {
2 int i;
3 struct s {
4 int a;
5 } s;
6 };
8 int foo(void)
10 struct s s = { 3 };
11 union u u = (union u)s;
12 return u.s.a;
16 * check-name: union-cast
17 * check-command: test-linearize -Wno-decl -fdump-ir $file
18 * check-known-to-fail
20 * check-output-ignore
21 * check-output-excludes: load\\.
23 * check-error-start
24 union-cast.c:11:22: warning: cast to non-scalar
25 union-cast.c:11:22: warning: cast from non-scalar
26 * check-error-end