gcc/testsuite/gcc.dg/pr103359.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O3 -fdump-tree-evrp" } */
   3
   4 void foo();
   5 static char a, c;
   6 static int d, e;
   7 static short b(short f, short g) { return f * g; }
   8 int main() {
   9   short h = 4;
  10   for (; d;)
  11     if (h)
  12       if(e) {
  13         if (!b(a & 1 | h, 3))
  14           c = 0;
  15         h = 1;
  16       }
  17   if (c)
  18     foo();
  19 }
  20
  21 /* { dg-final { scan-tree-dump-not "c = 0" "evrp" } } */