1--TEST-- 2Make sure type inference upholds invariants for dead arrays 3--FILE-- 4<?php 5 6function test() { 7 foreach ($a as $v) { 8 $b[] = $v; 9 } 10} 11 12test(); 13 14?> 15--EXPECTF-- 16Notice: Undefined variable: a in %s on line %d 17 18Warning: Invalid argument supplied for foreach() in %s on line %d 19