1
0
mirror of https://github.com/php/php-src.git synced 2026-04-20 06:21:12 +02:00

Merge branch 'PHP-7.1'

This commit is contained in:
Nikita Popov
2017-04-10 22:26:42 +02:00

View File

@@ -0,0 +1,16 @@
--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