1--TEST--
2Unreachable phi cycle
3--FILE--
4<?php
5// The inner loop is dead, but SCCP reachability analysis doesn't realize this,
6// as this is determined based on type information.
7function test() {
8    for (; $i--;) {
9        for(; x;);
10    }
11}
12test();
13?>
14--EXPECTF--
15Warning: Undefined variable $i in %s on line %d
16
17Warning: Decrement on type null has no effect, this will change in the next major version of PHP in %s on line %d
18