db/fixup_kernel.sh: fix clear_user() handling
[smatch.git] / validation / optim / inline-return.c
blobd075715d6a545ab75b0c96777e69ddf482863ccc
1 static inline int def(void)
3 return 1;
6 int foo(void)
8 return def();
11 int bar(void)
13 return def();
14 return 0;
18 * check-name: inline-return.c
19 * check-command: test-linearize -Wno-decl $file
21 * check-output-ignore
22 * check-output-pattern(2): ret\\..*\\$1
23 * check-output-excludes: ret\\..*\\$0