1*1f5207b7SJohn Levon #include "check_debug.h"
2*1f5207b7SJohn Levon 
3*1f5207b7SJohn Levon int xxx, yyy;
4*1f5207b7SJohn Levon int aaa, bbb;
5*1f5207b7SJohn Levon int id, vbus;
frob(void)6*1f5207b7SJohn Levon void frob(void)
7*1f5207b7SJohn Levon {
8*1f5207b7SJohn Levon 	if (xxx)
9*1f5207b7SJohn Levon 		id = yyy;
10*1f5207b7SJohn Levon 	else
11*1f5207b7SJohn Levon 		id = 1;
12*1f5207b7SJohn Levon 
13*1f5207b7SJohn Levon 	if (aaa)
14*1f5207b7SJohn Levon 		vbus = bbb;
15*1f5207b7SJohn Levon 	else
16*1f5207b7SJohn Levon 		vbus = id;
17*1f5207b7SJohn Levon 
18*1f5207b7SJohn Levon 	if (id)
19*1f5207b7SJohn Levon 		;
20*1f5207b7SJohn Levon 	if (!vbus)
21*1f5207b7SJohn Levon 		;
22*1f5207b7SJohn Levon 
23*1f5207b7SJohn Levon 	if (!id)
24*1f5207b7SJohn Levon 		__smatch_implied(vbus);
25*1f5207b7SJohn Levon }
26*1f5207b7SJohn Levon 
27*1f5207b7SJohn Levon /*
28*1f5207b7SJohn Levon  * check-name: smatch implied #19
29*1f5207b7SJohn Levon  * check-command: smatch -I.. sm_implied19.c
30*1f5207b7SJohn Levon  *
31*1f5207b7SJohn Levon  * check-output-start
32*1f5207b7SJohn Levon sm_implied19.c:24 frob() implied: vbus = 's32min-s32max'
33*1f5207b7SJohn Levon  * check-output-end
34*1f5207b7SJohn Levon  */
35