db/fixup_kernel.sh: fix clear_user() handling
[smatch.git] / validation / nested-functions.c
blob349edb5a0b6f071aaf1c22eb333f69c11a0b5c98
1 static int test_ok(int a, int b)
3 int nested_ok(int i)
5 return i * 2;
7 return nested_ok(b);
10 static int test_ko(int a, int b)
12 int nested_ko(int i)
14 return i * 2 + a;
16 return nested_ko(b);
19 static int test_inline(int a, int b)
21 inline int nested(int i)
23 return i * 2;
25 return nested(b);
28 static int test_inline_ko(int a, int b)
30 inline int nested(int i)
32 return i * 2 + a;
34 return nested(b);
38 * check-name: nested-functions
40 * check-error-start
41 nested-functions.c:32:32: warning: unreplaced symbol 'a'
42 * check-error-end