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