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