Skip to content

[Observer] Provide unused retvals to observers #6422

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
wants to merge 9 commits into from
Closed

[Observer] Provide unused retvals to observers #6422

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
9 commits
Select commit Hold shift + click to select a range
226d9f3
Provide unused retvals to observers
SammyK Nov 11, 2020
69061b9
Fix IS_CV + refcounted return case
SammyK Nov 12, 2020
836ef0b
Call observer end handler before unused refcounted IS_VAR is freed
SammyK Nov 12, 2020
d29998d
Pass correct retval from generator on uncaught exception
SammyK Nov 12, 2020
9332095
Revert "Pass correct retval from generator on uncaught exception"
SammyK Nov 16, 2020
95f943a
Pass NULL to end handler on uncaught exception
SammyK Nov 16, 2020
0fa78a5
Use retval by ref before it is freed
SammyK Nov 16, 2020
51d8fd9
Add test for observability during shutdown
SammyK Nov 16, 2020
7b6572f
Add observer_retval to observe the return_value
SammyK Nov 17, 2020
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
26 changes: 17 additions & 9 deletions Zend/zend_vm_def.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4239,9 +4239,11 @@ ZEND_VM_INLINE_HANDLER(62, ZEND_RETURN, CONST|TMP|VAR|CV, ANY, SPEC(OBSERVER))
USE_OPLINE
zval *retval_ptr;
zval *return_value;
ZEND_OBSERVER_USE_RETVAL;

retval_ptr = GET_OP1_ZVAL_PTR_UNDEF(BP_VAR_R);
return_value = EX(return_value);
ZEND_OBSERVER_SET_RETVAL();
if (OP1_TYPE == IS_CV && UNEXPECTED(Z_TYPE_INFO_P(retval_ptr) == IS_UNDEF)) {
SAVE_OPLINE();
retval_ptr = ZVAL_UNDEFINED_OP1();
Expand Down Expand Up @@ -4305,32 +4307,37 @@ ZEND_VM_INLINE_HANDLER(62, ZEND_RETURN, CONST|TMP|VAR|CV, ANY, SPEC(OBSERVER))
}
ZEND_OBSERVER_SAVE_OPLINE();
ZEND_OBSERVER_FCALL_END(execute_data, return_value);
ZEND_OBSERVER_FREE_RETVAL();
ZEND_VM_DISPATCH_TO_HELPER(zend_leave_helper);
}

ZEND_VM_COLD_CONST_HANDLER(111, ZEND_RETURN_BY_REF, CONST|TMP|VAR|CV, ANY, SRC, SPEC(OBSERVER))
{
USE_OPLINE
zval *retval_ptr;
zval *return_value;
ZEND_OBSERVER_USE_RETVAL;

SAVE_OPLINE();

return_value = EX(return_value);
ZEND_OBSERVER_SET_RETVAL();
do {
if ((OP1_TYPE & (IS_CONST|IS_TMP_VAR)) ||
(OP1_TYPE == IS_VAR && opline->extended_value == ZEND_RETURNS_VALUE)) {
/* Not supposed to happen, but we'll allow it */
zend_error(E_NOTICE, "Only variable references should be returned by reference");

retval_ptr = GET_OP1_ZVAL_PTR(BP_VAR_R);
if (!EX(return_value)) {
if (!return_value) {
FREE_OP1();
} else {
if (OP1_TYPE == IS_VAR && UNEXPECTED(Z_ISREF_P(retval_ptr))) {
ZVAL_COPY_VALUE(EX(return_value), retval_ptr);
ZVAL_COPY_VALUE(return_value, retval_ptr);
break;
}

ZVAL_NEW_REF(EX(return_value), retval_ptr);
ZVAL_NEW_REF(return_value, retval_ptr);
if (OP1_TYPE == IS_CONST) {
Z_TRY_ADDREF_P(retval_ptr);
}
Expand All @@ -4344,28 +4351,29 @@ ZEND_VM_COLD_CONST_HANDLER(111, ZEND_RETURN_BY_REF, CONST|TMP|VAR|CV, ANY, SRC,
ZEND_ASSERT(retval_ptr != &EG(uninitialized_zval));
if (opline->extended_value == ZEND_RETURNS_FUNCTION && !Z_ISREF_P(retval_ptr)) {
zend_error(E_NOTICE, "Only variable references should be returned by reference");
if (EX(return_value)) {
ZVAL_NEW_REF(EX(return_value), retval_ptr);
if (return_value) {
ZVAL_NEW_REF(return_value, retval_ptr);
} else {
FREE_OP1_VAR_PTR();
}
break;
}
}

if (EX(return_value)) {
if (return_value) {
if (Z_ISREF_P(retval_ptr)) {
Z_ADDREF_P(retval_ptr);
} else {
ZVAL_MAKE_REF_EX(retval_ptr, 2);
}
ZVAL_REF(EX(return_value), Z_REF_P(retval_ptr));
ZVAL_REF(return_value, Z_REF_P(retval_ptr));
}

FREE_OP1_VAR_PTR();
} while (0);

ZEND_OBSERVER_FCALL_END(execute_data, EX(return_value));
ZEND_OBSERVER_FCALL_END(execute_data, return_value);
ZEND_OBSERVER_FREE_RETVAL();
ZEND_VM_DISPATCH_TO_HELPER(zend_leave_helper);
}

Expand Down Expand Up @@ -7710,7 +7718,7 @@ ZEND_VM_HELPER(zend_dispatch_try_catch_finally_helper, ANY, ANY, uint32_t try_ca

/* Uncaught exception */
if (zend_observer_fcall_op_array_extension != -1) {
zend_observer_fcall_end(execute_data, EX(return_value));
zend_observer_fcall_end(execute_data, NULL);
}
cleanup_live_vars(execute_data, op_num, 0);
if (UNEXPECTED((EX_CALL_INFO() & ZEND_CALL_GENERATOR) != 0)) {
Expand Down
Loading