Fixed missed exception

dstogov · iluuu1994 · commit 5f9b9c4e236a · 2024-04-15T17:43:54.000+02:00
diff --git a/Zend/Optimizer/zend_inference.c b/Zend/Optimizer/zend_inference.c
@@ -5051,6 +5051,9 @@ ZEND_API bool zend_may_throw_ex(const zend_op *opline, const zend_ssa_op *ssa_op
 					return 1;
 				}
 			}
+			if (t1 & (MAY_BE_ARRAY_OF_OBJECT|MAY_BE_ARRAY_OF_RESOURCE|MAY_BE_ARRAY_OF_ARRAY|MAY_BE_ARRAY_OF_REF)) {
+				return 1;
+			}
 			return (t1 & (MAY_BE_OBJECT|MAY_BE_RESOURCE|MAY_BE_TRUE|MAY_BE_FALSE|MAY_BE_STRING|MAY_BE_LONG|MAY_BE_DOUBLE)) || opline->op2_type == IS_UNUSED ||
 				(t2 & (MAY_BE_UNDEF|MAY_BE_ARRAY|MAY_BE_OBJECT|MAY_BE_RESOURCE));
 		case ZEND_ASSIGN_OBJ:

Original file line number	Diff line number	Diff line change
`@@ -5051,6 +5051,9 @@ ZEND_API bool zend_may_throw_ex(const zend_op opline, const zend_ssa_op ssa_op`
`5051`	`5051`	`return 1;`
`5052`	`5052`	`}`
`5053`	`5053`	`}`
	`5054`	`+ if (t1 & (MAY_BE_ARRAY_OF_OBJECT\|MAY_BE_ARRAY_OF_RESOURCE\|MAY_BE_ARRAY_OF_ARRAY\|MAY_BE_ARRAY_OF_REF)) {`
	`5055`	`+ return 1;`
	`5056`	`+ }`
`5054`	`5057`	`return (t1 & (MAY_BE_OBJECT\|MAY_BE_RESOURCE\|MAY_BE_TRUE\|MAY_BE_FALSE\|MAY_BE_STRING\|MAY_BE_LONG\|MAY_BE_DOUBLE)) \|\| opline->op2_type == IS_UNUSED \|\|`
`5055`	`5058`	`(t2 & (MAY_BE_UNDEF\|MAY_BE_ARRAY\|MAY_BE_OBJECT\|MAY_BE_RESOURCE));`
`5056`	`5059`	`case ZEND_ASSIGN_OBJ:`