kpatch: use git instead of trying to create diffs by hand
[smatch.git] / validation / linear / struct-init-partial.c
blob1f5078bfad3bc300f91f62a0b98883a0afb39203
1 struct s {
2 int a, b, c;
3 };
5 struct s s_init_first(int a)
7 struct s s = { .a = a, };
8 return s;
11 struct s s_init_third(int a)
13 struct s s = { .c = a, };
14 return s;
18 * check-name: struct implicit init zero needed
19 * check-command: test-linearize -Wno-decl $file
21 * check-output-start
22 s_init_first:
23 .L0:
24 <entry-point>
25 store.96 $0 -> 0[s]
26 store.32 %arg1 -> 0[s]
27 load.96 %r2 <- 0[s]
28 ret.96 %r2
31 s_init_third:
32 .L2:
33 <entry-point>
34 store.96 $0 -> 0[s]
35 store.32 %arg1 -> 8[s]
36 load.96 %r5 <- 0[s]
37 ret.96 %r5
40 * check-output-end