db/fixup_kernel.sh: update vfs_write() code
[smatch.git] / validation / eval-typeof-vla.c
blob56a9ec2019234b50fd5058482f707a442279fe02
1 extern int a[1];
3 static int foo(int n)
5 int i = 0;
6 int (*p)[1] = (typeof(++i, (int (*)[n])a)) &a;
8 (void) p;
10 return i;
14 * check-name: eval-typeof-vla
15 * check-command: test-linearize -Wno-vla $file
16 * check-known-to-fail
18 * check-output-start
19 foo:
20 .L0:
21 <entry-point>
22 ret.32 $1
25 * check-output-end