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