1  /* { dg-do compile } */
       2  /* { dg-options "-fgimple -O -fdump-tree-ccp1" } */
       3  
       4  __GIMPLE (ssa,startwith("ccp")) int foo (int n)
       5  {
       6    int i;
       7    int j;
       8  
       9    __BB(2):
      10      i_1 = 0;
      11      goto __BB3;
      12  
      13    __BB(3):
      14      i_2 = __PHI (__BB2: i_1, __BB3: i_4);
      15      j_3 = i_2;
      16      i_4 = i_2 + 1;
      17      if (i_4 < n_5(D))
      18        goto __BB3;
      19      else
      20        goto __BB4;
      21  
      22    __BB(4):
      23      return j_3;
      24  }
      25  
      26  /* { dg-final { scan-tree-dump "return i_2;" "ccp1" } } */