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