db/fixup_kernel.sh: update vfs_write() code
[smatch.git] / validation / memops / partial-load00.c
blobcc6c313030532713ce24e72cd296b89837c05f22
1 union u {
2 double d;
3 int i[2];
4 };
6 void use(union u);
8 int foo(double x, double y)
10 union u u;
11 int r;
13 u.d = x;
14 r = u.i[0];
15 u.d = y;
17 use(u);
18 return r;
22 * check-name: partial-load00
23 * check-command: test-linearize -Wno-decl $file
25 * check-output-ignore
26 * check-output-contains: store\\.
27 * check-output-contains: load\\.
28 * check-output-returns: %r2