1--TEST--
2Edge-cases in elimination of JMPZ JMP with same target
3--FILE--
4<?php
5
6$foo = "foo";
7if ($foo . "bar") { goto label; }
8label:
9if ($undef) { goto label2; }
10label2:
11echo "done\n";
12
13?>
14--EXPECTF--
15Notice: Undefined variable: undef in %s on line %d
16done
17