1 #include <stdio.h> 2 #include <string.h> 3 #include "check_debug.h" 4 5 int frob(int *x) 6 { 7 *x = *x * 3; 8 return 0; 9 } 10 11 int *x; 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