1 #include "check_debug.h"
2 
main(int x)3 int main(int x)
4 {
5 	int a = 1;
6 
7 	if (x & 12)
8 		a = 2;
9 	__smatch_implied(a);
10 	if (!(x & 12))
11 		return 0;
12 	__smatch_implied(a);
13 	return 0;
14 }
15 
16 /*
17  * check-name: smatch implied #13
18  * check-command: smatch -I.. sm_implied13.c
19  *
20  * check-output-start
21 sm_implied13.c:9 main() implied: a = '1-2'
22 sm_implied13.c:12 main() implied: a = '2'
23  * check-output-end
24  */
25