/* { dg-do compile } */
/* { dg-options "-O2 -fdump-tree-evrp" } */

int b;
void foo();
void(a)();
int main() {
  int c;
  int *d = &c;
  *d = a && 8;
  b = 0;
  for (; b < 9; ++b)
    *d ^= 3;
  if (*d)
    ;
  else
    foo();
}

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