Skip to content

Commit a2dcd44

Browse files
committed
Fix VAR return type verification
We should also set retval_ref when de-indirecting. Otherwise the retval_ref != retval_ptr comparison below may incorrect assume that we're returning a reference. I don't have a reliable reproducer for this issue, but it sometimes appears in certain configurations in arrow_functions/007.phpt in conjunction with other changes.
1 parent 2e580da commit a2dcd44

File tree

2 files changed

+6
-6
lines changed

2 files changed

+6
-6
lines changed

Zend/zend_vm_def.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4185,7 +4185,7 @@ ZEND_VM_COLD_CONST_HANDLER(124, ZEND_VERIFY_RETURN_TYPE, CONST|TMP|VAR|UNUSED|CV
41854185
retval_ref = retval_ptr = EX_VAR(opline->result.var);
41864186
} else if (OP1_TYPE == IS_VAR) {
41874187
if (UNEXPECTED(Z_TYPE_P(retval_ptr) == IS_INDIRECT)) {
4188-
retval_ptr = Z_INDIRECT_P(retval_ptr);
4188+
retval_ref = retval_ptr = Z_INDIRECT_P(retval_ptr);
41894189
}
41904190
ZVAL_DEREF(retval_ptr);
41914191
} else if (OP1_TYPE == IS_CV) {

Zend/zend_vm_execute.h

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -9723,7 +9723,7 @@ static ZEND_VM_COLD ZEND_OPCODE_HANDLER_RET ZEND_FASTCALL ZEND_VERIFY_RETURN_TYP
97239723
retval_ref = retval_ptr = EX_VAR(opline->result.var);
97249724
} else if (IS_CONST == IS_VAR) {
97259725
if (UNEXPECTED(Z_TYPE_P(retval_ptr) == IS_INDIRECT)) {
9726-
retval_ptr = Z_INDIRECT_P(retval_ptr);
9726+
retval_ref = retval_ptr = Z_INDIRECT_P(retval_ptr);
97279727
}
97289728
ZVAL_DEREF(retval_ptr);
97299729
} else if (IS_CONST == IS_CV) {
@@ -20077,7 +20077,7 @@ static ZEND_OPCODE_HANDLER_RET ZEND_FASTCALL ZEND_VERIFY_RETURN_TYPE_SPEC_TMP_UN
2007720077
retval_ref = retval_ptr = EX_VAR(opline->result.var);
2007820078
} else if (IS_TMP_VAR == IS_VAR) {
2007920079
if (UNEXPECTED(Z_TYPE_P(retval_ptr) == IS_INDIRECT)) {
20080-
retval_ptr = Z_INDIRECT_P(retval_ptr);
20080+
retval_ref = retval_ptr = Z_INDIRECT_P(retval_ptr);
2008120081
}
2008220082
ZVAL_DEREF(retval_ptr);
2008320083
} else if (IS_TMP_VAR == IS_CV) {
@@ -27692,7 +27692,7 @@ static ZEND_OPCODE_HANDLER_RET ZEND_FASTCALL ZEND_VERIFY_RETURN_TYPE_SPEC_VAR_UN
2769227692
retval_ref = retval_ptr = EX_VAR(opline->result.var);
2769327693
} else if (IS_VAR == IS_VAR) {
2769427694
if (UNEXPECTED(Z_TYPE_P(retval_ptr) == IS_INDIRECT)) {
27695-
retval_ptr = Z_INDIRECT_P(retval_ptr);
27695+
retval_ref = retval_ptr = Z_INDIRECT_P(retval_ptr);
2769627696
}
2769727697
ZVAL_DEREF(retval_ptr);
2769827698
} else if (IS_VAR == IS_CV) {
@@ -34892,7 +34892,7 @@ static ZEND_OPCODE_HANDLER_RET ZEND_FASTCALL ZEND_VERIFY_RETURN_TYPE_SPEC_UNUSED
3489234892
retval_ref = retval_ptr = EX_VAR(opline->result.var);
3489334893
} else if (IS_UNUSED == IS_VAR) {
3489434894
if (UNEXPECTED(Z_TYPE_P(retval_ptr) == IS_INDIRECT)) {
34895-
retval_ptr = Z_INDIRECT_P(retval_ptr);
34895+
retval_ref = retval_ptr = Z_INDIRECT_P(retval_ptr);
3489634896
}
3489734897
ZVAL_DEREF(retval_ptr);
3489834898
} else if (IS_UNUSED == IS_CV) {
@@ -46594,7 +46594,7 @@ static ZEND_OPCODE_HANDLER_RET ZEND_FASTCALL ZEND_VERIFY_RETURN_TYPE_SPEC_CV_UNU
4659446594
retval_ref = retval_ptr = EX_VAR(opline->result.var);
4659546595
} else if (IS_CV == IS_VAR) {
4659646596
if (UNEXPECTED(Z_TYPE_P(retval_ptr) == IS_INDIRECT)) {
46597-
retval_ptr = Z_INDIRECT_P(retval_ptr);
46597+
retval_ref = retval_ptr = Z_INDIRECT_P(retval_ptr);
4659846598
}
4659946599
ZVAL_DEREF(retval_ptr);
4660046600
} else if (IS_CV == IS_CV) {

0 commit comments

Comments
 (0)