Skip to content

Commit

Permalink
Simplfy test case
Browse files Browse the repository at this point in the history
(I was working on the same bug while nikic committed the similar fix
  • Loading branch information
laruence committed Mar 18, 2019
1 parent b3a669b commit e072537
Showing 1 changed file with 9 additions and 26 deletions.
35 changes: 9 additions & 26 deletions ext/opcache/tests/bug77743.phpt
Original file line number Diff line number Diff line change
Expand Up @@ -2,33 +2,16 @@
Bug #77743: Incorrect pi node insertion for jmpznz with identical successors
--FILE--
<?php
class Toto
{
public function process1()
{
$keep_products = [1, 2, 3, 4];
foreach ($keep_products as $k => $v)
{
$id_country = myRet(45);
if ($id_country === false && false)
{
}

var_dump($id_country === false);
}
}
function buggy($a) {
$id_country = $a;
if ($id_country === false) {
if (true) {
}
}
var_dump($id_country);
}

function myRet($x){
return $x;
}

$toto = new Toto();
$toto->process1();

?>
buggy(42);
--EXPECT--
bool(false)
bool(false)
bool(false)
bool(false)
int(42)

0 comments on commit e072537

Please sign in to comment.