1 #include "check_debug.h"
2 
3 int x;
4 int array[10];
5 
main(void)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