Merge branch 'PHP-7.1' into PHP-7.2

* PHP-7.1:
  fix double cast to int on 32-bit
This commit is contained in:
Remi Collet 2018-08-30 09:04:13 +02:00
commit 6e703c957e

View file

@ -3108,7 +3108,7 @@ ZEND_API zend_long ZEND_FASTCALL zend_dval_to_lval_slow(double d)
if (dmod < 0) {
/* we're going to make this number positive; call ceil()
* to simulate rounding towards 0 of the negative number */
dmod = ceil(dmod);// + two_pow_32;
dmod = ceil(dmod) + two_pow_32;
}
return (zend_long)(zend_ulong)dmod;
}