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