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  */