mirror of
https://github.com/php/php-src.git
synced 2024-09-22 18:37:25 +00:00
18 lines
250 B
PHP
18 lines
250 B
PHP
--TEST--
|
|
Bug #77743: Incorrect pi node insertion for jmpznz with identical successors
|
|
--FILE--
|
|
<?php
|
|
|
|
function buggy($a) {
|
|
$id_country = $a;
|
|
if ($id_country === false) {
|
|
if (true) {
|
|
}
|
|
}
|
|
var_dump($id_country);
|
|
}
|
|
|
|
buggy(42);
|
|
--EXPECT--
|
|
int(42)
|