#include "check_debug.h"

struct foo {
	int x;
};

void *frob();

struct foo *foo;

int x;

static void ad_agg_selection_logic(void)
{
	int a;


	if (x) {
		if (foo && foo->x)
			a = 1;
		else
			a = 0;

		if (frob())
			a = frob();

		if (a)
			__smatch_implied(foo);
	}
}
/*
 * check-name: smatch implied #12
 * check-command: smatch -I.. -m64 sm_implied12.c
 *
 * check-output-start
sm_implied12.c:28 ad_agg_selection_logic() implied: foo = '0,4096-ptr_max'
 * check-output-end
 */