function_hooks/unwind: introduce return_implies_exact()
[smatch.git] / validation / linear / struct-init-full.c
blobf1b03db71ecc593596b966f3a857be047bd2baff
1 struct s {
2 int a, b, c;
3 };
5 struct s s_init_all(int a)
7 struct s s = { .a = a, .b = 42, .c = 123, };
8 return s;
12 * check-name: struct implicit init zero not needed
13 * check-command: test-linearize -Wno-decl $file
14 * check-known-to-fail
16 * check-output-start
17 s_init_all:
18 .L4:
19 <entry-point>
20 store.32 %arg1 -> 0[s]
21 store.32 $42 -> 4[s]
22 store.32 $123 -> 8[s]
23 load.96 %r8 <- 0[s]
24 ret.96 %r8
27 * check-output-end