--TEST-- Edge-cases in elimination of JMPZ JMP with same target --FILE-- <?php $foo = "foo"; if ($foo . "bar") { goto label; } label: if ($undef) { goto label2; } label2: echo "done\n"; ?> --EXPECTF-- Notice: Undefined variable: undef in %s on line %d done