gcc/testsuite/gcc.dg/pr107822.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-tree-evrp" } */
   3
   4 int b;
   5 void foo();
   6 void(a)();
   7 int main() {
   8   int c;
   9   int *d = &c;
  10   *d = a && 8;
  11   b = 0;
  12   for (; b < 9; ++b)
  13     *d ^= 3;
  14   if (*d)
  15     ;
  16   else
  17     foo();
  18 }
  19
  20 /* { dg-final { scan-tree-dump-not "foo" "evrp" } } */