function_hooks/unwind: introduce return_implies_exact()
[smatch.git] / validation / inline_base0.c
blob517ee972ee05629adc48ff28ab40a74cf3a93794
1 static inline int add(int a, int b)
3 return a + b;
6 int foo0(int x, int y)
8 return add(x, y);
11 int foo1(int x)
13 return add(x, 1);
16 int foo2(void)
18 return add(1, 2);
22 * check-name: inline_base0
23 * check-command: test-linearize -Wno-decl $file
25 * check-output-start
26 foo0:
27 .L0:
28 <entry-point>
29 add.32 %r5 <- %arg1, %arg2
30 ret.32 %r5
33 foo1:
34 .L3:
35 <entry-point>
36 add.32 %r10 <- %arg1, $1
37 ret.32 %r10
40 foo2:
41 .L6:
42 <entry-point>
43 ret.32 $3
46 * check-output-end