Bug #72347 [Asn->Opn]: VERIFY_RETURN type casts visible in finally

Edit report at https://bugs.php.net/bug.php?id=72347&edit=1 ID: 72347 Updated by: nikic@php.net Reported by: nikic@php.net Summary: VERIFY_RETURN type casts visible in finally -Status: Assigned +Status: Open Type: Bug Package: Scripting Engine problem PHP Version: master-Git-2016-06-06 (Git) -Assigned To: nikic +Assigned To: Block user comment: N Private report: N New Comment: I'm leaving this alone for now, as the case of by-reference return is somewhat tricky -- I'm not even sure how it should behave. Piling this into the general category of "finally return value bugs" we have open. Previous Comments: ------------------------------------------------------------------------ [2016-06-06 16:52:44] nikic@php.net Description: ------------ If VERIFY_RETURN leads to a type-cast on a CV return, the finally block will see the cast value rather than the original value. Test script: --------------- <?php function test() : int { $d = 1.5; try { return $d; } finally { var_dump($d); } } test(); Expected result: ---------------- float(1.5) Actual result: -------------- int(1) ------------------------------------------------------------------------ -- Edit this bug report at https://bugs.php.net/bug.php?id=72347&edit=1