Merge branch 'PHP-7.1' into PHP-7.2

* PHP-7.1:
  Fix compile-time optimization of NAN comparisons
This commit is contained in:
Sara Golemon 2017-07-22 21:23:29 -04:00
commit e23c132940
2 changed files with 49 additions and 0 deletions

View File

@ -2174,6 +2174,16 @@ ZEND_API int ZEND_FASTCALL is_not_equal_function(zval *result, zval *op1, zval *
ZEND_API int ZEND_FASTCALL is_smaller_function(zval *result, zval *op1, zval *op2) /* {{{ */
{
if (UNEXPECTED((Z_TYPE_P(op1) == IS_DOUBLE) && isnan(Z_DVAL_P(op1)))) {
ZVAL_FALSE(result);
return SUCCESS;
}
if (UNEXPECTED((Z_TYPE_P(op2) == IS_DOUBLE) && isnan(Z_DVAL_P(op2)))) {
ZVAL_FALSE(result);
return SUCCESS;
}
if (compare_function(result, op1, op2) == FAILURE) {
return FAILURE;
}
@ -2184,6 +2194,16 @@ ZEND_API int ZEND_FASTCALL is_smaller_function(zval *result, zval *op1, zval *op
ZEND_API int ZEND_FASTCALL is_smaller_or_equal_function(zval *result, zval *op1, zval *op2) /* {{{ */
{
if (UNEXPECTED((Z_TYPE_P(op1) == IS_DOUBLE) && isnan(Z_DVAL_P(op1)))) {
ZVAL_FALSE(result);
return SUCCESS;
}
if (UNEXPECTED((Z_TYPE_P(op2) == IS_DOUBLE) && isnan(Z_DVAL_P(op2)))) {
ZVAL_FALSE(result);
return SUCCESS;
}
if (compare_function(result, op1, op2) == FAILURE) {
return FAILURE;
}

View File

@ -0,0 +1,29 @@
--TEST--
Comparisons with NAN should yield false, even at compile-time
--FILE--
<?php
echo "** CONST\n";
var_dump(0 < NAN);
var_dump(0 <= NAN);
var_dump(0 > NAN);
var_dump(0 >= NAN);
echo "** VAR\n";
$nan = NAN;
var_dump(0 < $nan);
var_dump(0 <= $nan);
var_dump(0 > $nan);
var_dump(0 >= $nan);
--EXPECT--
** CONST
bool(false)
bool(false)
bool(false)
bool(false)
** VAR
bool(false)
bool(false)
bool(false)
bool(false)