db/fixup_kernel.sh: fix clear_user() handling
[smatch.git] / validation / eval-bad-assign2.c
blob4d08cb907cd21b6b7ae6d9a3522eb39650a2a5b3
1 struct s {
2 char c[1];
3 };
5 struct s fun(void);
8 static void foo(void)
10 char c[1];
11 c = fun().c;
15 * check-name: eval-bad-assign2
17 * check-error-start
18 eval-bad-assign2.c:11:11: warning: incorrect type in assignment (invalid types)
19 eval-bad-assign2.c:11:11: expected char c[1]
20 eval-bad-assign2.c:11:11: got char *
21 * check-error-end