1 #include "check_debug.h"
2 int a, b, c;
frob(void)3 int frob(void) {
4 	if (a && b != 1)
5 		return;
6 
7 	__smatch_value("a");
8 	if (b == 0 && c) {
9 		__smatch_value("a");
10 	}
11 	__smatch_value("a");
12 }
13 /*
14  * check-name: Smatch implied #7
15  * check-command: smatch -I.. sm_implied7.c
16  *
17  * check-output-start
18 sm_implied7.c:7 frob() a = s32min-s32max
19 sm_implied7.c:9 frob() a = 0
20 sm_implied7.c:11 frob() a = s32min-s32max
21  * check-output-end
22  */
23