Fix ZEND_FETCH_STATIC_PROP_IS type inference

iluuu1994 · iluuu1994 · commit e857b2faef7f · 2025-07-17T22:41:09.000+02:00
diff --git a/Zend/Optimizer/zend_inference.c b/Zend/Optimizer/zend_inference.c
@@ -3835,7 +3835,7 @@ static zend_always_inline zend_result _zend_update_type_info(
 					tmp &= ~MAY_BE_RC1;
 				}
 				if (opline->opcode == ZEND_FETCH_STATIC_PROP_IS) {
-					tmp |= MAY_BE_UNDEF;
+					tmp |= MAY_BE_NULL;
 				}
 			}
 			UPDATE_SSA_TYPE(tmp, ssa_op->result_def);

Original file line number	Diff line number	Diff line change
`@@ -3835,7 +3835,7 @@ static zend_always_inline zend_result _zend_update_type_info(`
`3835`	`3835`	`tmp &= ~MAY_BE_RC1;`
`3836`	`3836`	`}`
`3837`	`3837`	`if (opline->opcode == ZEND_FETCH_STATIC_PROP_IS) {`
`3838`		`- tmp \|= MAY_BE_UNDEF;`
	`3838`	`+ tmp \|= MAY_BE_NULL;`
`3839`	`3839`	`}`
`3840`	`3840`	`}`
`3841`	`3841`	`UPDATE_SSA_TYPE(tmp, ssa_op->result_def);`