#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
 */