1 #include <stdio.h>
2 #include <string.h>
3 #include "check_debug.h"
4 
frob(int * x)5 int frob(int *x)
6 {
7 	*x = *x * 3;
8 	return 0;
9 }
10 
11 int *x;
main(void)12 int main(void)
13 {
14 	frob(x);
15 	if (x)
16 		return 1;
17 	return 0;
18 }
19 
20 
21 /*
22  * check-name: smatch: inline #2
23  * check-command: smatch -I.. sm_inline2.c
24  *
25  * check-output-start
26 sm_inline2.c:15 main() warn: variable dereferenced before check 'x' (see line 14)
27  * check-output-end
28  */
29