1#include "check_debug.h"
2
3struct foo {
4	int x;
5};
6
7void *frob();
8
9struct foo *foo;
10
11static 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
32sm_implied11.c:25 ad_agg_selection_logic() implied: foo = '0,4096-ptr_max'
33 * check-output-end
34 */
35