1 #include "check_debug.h"
   2 
   3 int x;
   4 int array[10];
   5 
   6 int main(void)
   7 {
   8         __smatch_implied(&x);
   9         __smatch_implied((unsigned long)(array + 1) - (unsigned long)array);
  10         __smatch_implied(array + 1 - array);
  11         __smatch_implied(array + 1);
  12         __smatch_implied((int *)0 + 1);
  13 
  14         return 0;
  15 }
  16 
  17 
  18 /*
  19  * check-name: smatch mtag #3
  20  * check-command: smatch -I.. sm_mtag3.c
  21  *
  22  * check-output-start
  23 sm_mtag3.c:8 main() implied: &x = '799717014380380160'
  24 sm_mtag3.c:9 main() implied: (array[1]) - array = '4'
  25 sm_mtag3.c:10 main() implied: array[1] - array = '1'
  26 sm_mtag3.c:11 main() implied: array[1] = '7934625272050024452'
  27 sm_mtag3.c:12 main() implied: 0 + 1 = '4'
  28  * check-output-end
  29  */