1/* PR tree-optimization/16461  */
2
3int DVDinput_read(int);
4int 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}
15