Range&type inference for JMP_SET

aboks · Jan 7, 2016 · 04dc5d7 · 04dc5d7
1 parent e712764
commit 04dc5d7
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/ext/opcache/Optimizer/zend_inference.c b/ext/opcache/Optimizer/zend_inference.c
@@ -1031,6 +1031,7 @@ int zend_inference_calc_range(const zend_op_array *op_array, zend_ssa *ssa, int
 			}
 			break;
 		case ZEND_QM_ASSIGN:
+		case ZEND_JMP_SET:
 		case ZEND_COALESCE:
 			if (ssa->ops[line].result_def == var) {
 				if (OP1_HAS_RANGE()) {
@@ -2350,6 +2351,7 @@ static void zend_update_type_info(const zend_op_array *op_array,
 			UPDATE_SSA_TYPE(tmp, ssa_ops[i].result_def);
 			break;
 		case ZEND_QM_ASSIGN:
+		case ZEND_JMP_SET:
 		case ZEND_COALESCE:
 			tmp = t1 & ~(MAY_BE_UNDEF|MAY_BE_REF);
 			if (t1 & MAY_BE_UNDEF) {
@@ -3421,10 +3423,6 @@ static void zend_update_type_info(const zend_op_array *op_array,
 			break;
 //		case ZEND_CATCH:
 // TODO: ???
-//			break;
-//		case ZEND_JMP_SET:
-//		case ZEND_COALESCE:
-// TODO: ???
 //			break;
 		case ZEND_FETCH_DIM_R:
 		case ZEND_FETCH_DIM_IS: