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