--TEST-- Unreachable phi cycle --FILE-- <?php // The inner loop is dead, but SCCP reachability analysis doesn't realize this, // as this is determined based on type information. function test() { for (; $i--;) { for(; x;); } } test(); ?> --EXPECTF-- Warning: Undefined variable $i in %s on line %d
