mirror of
https://github.com/php/php-src.git
synced 2024-12-22 00:10:16 +08:00
543649bd4c
Fixes bug #72335.
19 lines
234 B
PHP
19 lines
234 B
PHP
--TEST--
|
|
Misoptimize due to type narrowing
|
|
--FILE--
|
|
<?php
|
|
|
|
function test() {
|
|
$b = false;
|
|
$x = (1<<53)+1;
|
|
do {
|
|
$x = 1.0 * ($x - (1<<53));
|
|
} while ($b);
|
|
return $x;
|
|
}
|
|
var_dump(test());
|
|
|
|
?>
|
|
--EXPECT--
|
|
float(1)
|