1--TEST--
2Edge-cases in elimination of JMPZ JMP with same target
3--EXTENSIONS--
4opcache
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--
17Warning: Undefined variable $undef in %s on line %d
18done
19