ZEND_DEREF can't throw, and doesn't have side-effects

iluuu1994 · iluuu1994 · commit dba22940eb9c · 2025-12-02T23:40:41.000+01:00
diff --git a/Zend/Optimizer/dce.c b/Zend/Optimizer/dce.c
@@ -125,6 +125,7 @@ static inline bool may_have_side_effects(
 		case ZEND_FUNC_GET_ARGS:
 		case ZEND_ARRAY_KEY_EXISTS:
 		case ZEND_COPY_TMP:
+		case ZEND_DEREF:
 			/* No side effects */
 			return false;
 		case ZEND_FREE:
diff --git a/Zend/Optimizer/zend_inference.c b/Zend/Optimizer/zend_inference.c
@@ -5033,6 +5033,7 @@ ZEND_API bool zend_may_throw_ex(const zend_op *opline, const zend_ssa_op *ssa_op
 		case ZEND_COPY_TMP:
 		case ZEND_JMP_NULL:
 		case ZEND_JMP_FRAMELESS:
+		case ZEND_DEREF:
 			return 0;
 		case ZEND_IS_IDENTICAL:
 		case ZEND_IS_NOT_IDENTICAL:
