1 #include "check_debug.h"
2 
3 struct foo {
4 	int x;
5 };
6 
7 void *frob();
8 
9 struct foo *foo;
10 
11 int x;
12 
ad_agg_selection_logic(void)13 static void ad_agg_selection_logic(void)
14 {
15 	int a;
16 
17 
18 	if (x) {
19 		if (foo && foo->x)
20 			a = 1;
21 		else
22 			a = 0;
23 
24 		if (frob())
25 			a = frob();
26 
27 		if (a)
28 			__smatch_implied(foo);
29 	}
30 }
31 /*
32  * check-name: smatch implied #12
33  * check-command: smatch -I.. -m64 sm_implied12.c
34  *
35  * check-output-start
36 sm_implied12.c:28 ad_agg_selection_logic() implied: foo = '0,4096-ptr_max'
37  * check-output-end
38  */
39