struct ture {
        int a;
};

int out_a;

void func (void)
{
        struct ture *aa;
        int a = 0;

        if (out_a) {    
                aa = returns_nonnull();
                a = something();
        }
        if (a)
                aa->a = 1;
        aa->a = 0xF00D;
}
/*
 * check-name: Smatch implied #5
 * check-command: smatch --spammy sm_implied5.c
 *
 * check-output-start
sm_implied5.c:18 func() error: potentially dereferencing uninitialized 'aa'.
sm_implied5.c:18 func() error: potentially dereferencing uninitialized 'aa'.
 * check-output-end
 */