Skip to content

Commit e3d90fa

Browse files
committed
Transfer MAY_BE_INDIRECT for VERIFY_RETURN
If the input is indirect, the output will be indirect too.
1 parent 848b545 commit e3d90fa

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

Zend/Optimizer/zend_inference.c

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -3545,6 +3545,7 @@ static zend_always_inline int _zend_update_type_info(
35453545
} else {
35463546
zend_arg_info *ret_info = op_array->arg_info - 1;
35473547
tmp = zend_fetch_arg_info_type(script, ret_info, &ce);
3548+
tmp |= (t1 & MAY_BE_INDIRECT);
35483549

35493550
// TODO: We could model more precisely how illegal types are converted.
35503551
uint32_t extra_types = t1 & ~tmp;

0 commit comments

Comments
 (0)