Fixed type inference bug

diff --git a/ext/opcache/Optimizer/zend_inference.c b/ext/opcache/Optimizer/zend_inference.c
index 1e65a2577b7c25b047b8a69070cd3fc0ebf57ac7..7505e1475caefd9e99f44fb38a946acb55dbd66b 100644 (file)
--- a/ext/opcache/Optimizer/zend_inference.c
+++ b/ext/opcache/Optimizer/zend_inference.c
@@ -2592,7 +2592,7 @@ static void zend_update_type_info(const zend_op_array *op_array,
                                      ssa_var_info[ssa_ops[i].op1_use].range.min == ZEND_LONG_MIN)) ||
                                     (opline->opcode == ZEND_PRE_INC &&
                                      (ssa_var_info[ssa_ops[i].op1_use].range.overflow ||
-                                      ssa_var_info[ssa_ops[i].op1_use].range.min == ZEND_LONG_MAX))) {
+                                      ssa_var_info[ssa_ops[i].op1_use].range.max == ZEND_LONG_MAX))) {
                                        /* may overflow */
                                        tmp |= MAY_BE_LONG | MAY_BE_DOUBLE;
                                } else {
@@ -2650,7 +2650,7 @@ static void zend_update_type_info(const zend_op_array *op_array,
                                       ssa_var_info[ssa_ops[i].op1_use].range.min == ZEND_LONG_MIN)) ||
                                      (opline->opcode == ZEND_PRE_INC &&
                                       (ssa_var_info[ssa_ops[i].op1_use].range.overflow ||
-                                       ssa_var_info[ssa_ops[i].op1_use].range.min == ZEND_LONG_MAX))) {
+                                       ssa_var_info[ssa_ops[i].op1_use].range.max == ZEND_LONG_MAX))) {
                                        /* may overflow */
                                        tmp |= MAY_BE_LONG | MAY_BE_DOUBLE;
                                } else {