db/fixup_kernel.sh: fix clear_user() handling
[smatch.git] / validation / optim / call-inlined.c
blob7f5f4e89957d9c42cab1319ef177e25a767a74e5
1 static const char messg[] = "def";
3 static inline int add(int a, int b)
5 return a + b;
8 int foo(int a, int b, int p)
10 if (p) {
11 add(a + b, 1);
12 return p;
14 return 0;
18 * check-name: call-inlined
19 * check-command: test-linearize -Wno-decl $file
21 * check-output-ignore
22 * check-output-returns: %arg3