gcc/testsuite/gcc.dg/pr104526.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-tree-evrp" } */
   3
   4 void foo(void);
   5
   6 static int a, b = 1, *c = &b;
   7 int main() {
   8   for (; a; a--) {
   9     int d = 2 >> (1 / *c);
  10     if (!d)
  11       foo();
  12   }
  13 }
  14
  15 /* { dg-final { scan-tree-dump-not "foo" "evrp" } } */