/* { dg-do compile } */
/* { dg-options "-O3 -fdump-tree-vrp1" } */

static int a = 2, b, c, d;
void foo(void);
int main() {
    short e;
    int f = -1;
    if (b)
        c = 0;
    c || (f = 2);
    for (; d < 1; d++)
        e = f + a;
    if (!e)
        foo();
    return 0;
}

/* { dg-final { scan-tree-dump-not "foo" "vrp1" } } */