struct foo {
        int a;
};

struct foo *a;
struct foo *b;

struct foo *c;
struct foo *d;
struct foo *e;
void func (void)
{
        if (a?b:0) {
                a->a = 1;
                b->a = 1;
        }
        a->a = 1;
        b->a = 1;
        e->a = 1;
        d = returns_nonnull();
        if (c?d:e) {
                c->a = 1;
                d->a = 1;
                e->a = 1;
        }
        e->a = 1;
}

/*
 * check-name: Ternary Conditions
 * check-command: smatch sm_select.c
 *
 * check-output-start
sm_select.c:17 func() error: we previously assumed 'a' could be null (see line 13)
sm_select.c:18 func() error: we previously assumed 'b' could be null (see line 13)
sm_select.c:21 func() warn: variable dereferenced before check 'e' (see line 19)
sm_select.c:22 func() error: we previously assumed 'c' could be null (see line 21)
 * check-output-end
 */