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