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