1  /* { dg-do compile } */
       2  /* { dg-options "-Os -fdump-tree-vrp2" } */
       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