comparison: select the caller_info
[smatch.git] / validation / inline_base0.c
blob698c760ff0be1e3c735f2e8ca45af05078d95034
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 # call %r6 <- add, %r1, %r2
31 ret.32 %r5
34 foo1:
35 .L3:
36 <entry-point>
37 add.32 %r10 <- %arg1, $1
38 # call %r11 <- add, %r8, $1
39 ret.32 %r10
42 foo2:
43 .L6:
44 <entry-point>
45 # call %r13 <- add, $1, $2
46 ret.32 $3
49 * check-output-end