1 #include "check_debug.h"
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);
19 * check-name: smatch mtag #3
20 * check-command: smatch -I.. sm_mtag3.c
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'