1  /* PR tree-optimization/16461  */
       2  
       3  int DVDinput_read(int);
       4  int DVDReadBlocksPath(int offset, int block_count) {
       5      int ret = 0, ret2 = 0;
       6      for (;;) {
       7  	if (offset)
       8  	    ret = DVDinput_read(block_count);
       9  	else 
      10  	    ret2 = DVDinput_read(block_count);
      11  	break;
      12      }
      13      return ret + ret2;
      14  }