Take into account the existing inferred type information for ZEND_ADD_ARRAY_ELEMENT

nielsdos · nielsdos · commit 38d50a901f15 · 2023-01-12T00:01:25.000+01:00
diff --git a/Zend/Optimizer/zend_inference.c b/Zend/Optimizer/zend_inference.c
@@ -3091,7 +3091,7 @@ static zend_always_inline int _zend_update_type_info(
 				if (opline->opcode == ZEND_INIT_ARRAY) {
 					arr_type = 0;
 				} else {
-					arr_type = RES_USE_INFO();
+					arr_type = RES_USE_INFO() | RES_INFO();
 				}
 				tmp = MAY_BE_RC1|MAY_BE_ARRAY|arr_type;
 				if (opline->op1_type != IS_UNUSED

Original file line number	Diff line number	Diff line change
`@@ -3091,7 +3091,7 @@ static zend_always_inline int _zend_update_type_info(`
`3091`	`3091`	`if (opline->opcode == ZEND_INIT_ARRAY) {`
`3092`	`3092`	`arr_type = 0;`
`3093`	`3093`	`} else {`
`3094`		`- arr_type = RES_USE_INFO();`
	`3094`	`+ arr_type = RES_USE_INFO() \| RES_INFO();`
`3095`	`3095`	`}`
`3096`	`3096`	`tmp = MAY_BE_RC1\|MAY_BE_ARRAY\|arr_type;`
`3097`	`3097`	`if (opline->op1_type != IS_UNUSED`