Fixed type-info for ZEND_FETCH_DIIM_UNSET

laruence · laruence · commit ea0df0739837 · 2017-08-19T18:48:10.000+08:00
diff --git a/ext/opcache/Optimizer/zend_inference.c b/ext/opcache/Optimizer/zend_inference.c
@@ -3004,6 +3004,13 @@ static int zend_update_type_info(const zend_op_array *op_array,
 							tmp |= MAY_BE_ARRAY_KEY_STRING;
 						}
 					}
+				} else if (opline->opcode == ZEND_FETCH_DIM_UNSET) {
+					if (t1 & MAY_BE_ARRAY) {
+						tmp |= MAY_BE_RC1;
+					}
+					if (t1 & MAY_BE_OBJECT) {
+						tmp |= t1 & MAY_BE_RCN;
+					}
 				}
 				j = ssa_vars[ssa_ops[i].result_def].use_chain;
 				while (j >= 0) {

Original file line number	Diff line number	Diff line change
`@@ -3004,6 +3004,13 @@ static int zend_update_type_info(const zend_op_array *op_array,`
`3004`	`3004`	`tmp \|= MAY_BE_ARRAY_KEY_STRING;`
`3005`	`3005`	`}`
`3006`	`3006`	`}`
	`3007`	`+ } else if (opline->opcode == ZEND_FETCH_DIM_UNSET) {`
	`3008`	`+ if (t1 & MAY_BE_ARRAY) {`
	`3009`	`+ tmp \|= MAY_BE_RC1;`
	`3010`	`+ }`
	`3011`	`+ if (t1 & MAY_BE_OBJECT) {`
	`3012`	`+ tmp \|= t1 & MAY_BE_RCN;`
	`3013`	`+ }`
`3007`	`3014`	`}`
`3008`	`3015`	`j = ssa_vars[ssa_ops[i].result_def].use_chain;`
`3009`	`3016`	`while (j >= 0) {`