gcc/testsuite/gcc.dg/pr103079.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-Os -fdump-tree-vrp2 -fno-tree-ch" } */
   3
   4 int a, b = -2;
   5 int main() {
   6   int d = 0;
   7   int t;
   8   if (b)
   9     goto t1;
  10   if (t) {
  11 t1:
  12     if (!a)
  13       d = b;
  14     while (d > -1)
  15       ;
  16   }
  17   return 0;
  18 }
  19 /* { dg-final { scan-tree-dump "PHI" "vrp2" } } */
  20