xref: /PHP-7.2/Zend/tests/bug72335.phpt (revision 543649bd) 
1--TEST--
2Misoptimize due to type narrowing
3--FILE--
4<?php
5
6function test() {
7    $b = false;
8    $x = (1<<53)+1;
9    do {
10        $x = 1.0 * ($x - (1<<53));
11    } while ($b);
12    return $x;
13}
14var_dump(test());
15
16?>
17--EXPECT--
18float(1)
19