Bug #72347 [NEW]: VERIFY_RETURN type casts visible in finally

From: nikic Operating system: PHP version: master-Git-2016-06-06 (Git) Package: Scripting Engine problem Bug Type: Bug Bug description:VERIFY_RETURN type casts visible in finally 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 bug report at https://bugs.php.net/bug.php?id=72347&edit=1 -- Try a snapshot (PHP 5.4): https://bugs.php.net/fix.php?id=72347&r=trysnapshot54 Try a snapshot (PHP 5.5): https://bugs.php.net/fix.php?id=72347&r=trysnapshot55 Try a snapshot (trunk): https://bugs.php.net/fix.php?id=72347&r=trysnapshottrunk Fixed in SVN: https://bugs.php.net/fix.php?id=72347&r=fixed Fixed in release: https://bugs.php.net/fix.php?id=72347&r=alreadyfixed Need backtrace: https://bugs.php.net/fix.php?id=72347&r=needtrace Need Reproduce Script: https://bugs.php.net/fix.php?id=72347&r=needscript Try newer version: https://bugs.php.net/fix.php?id=72347&r=oldversion Not developer issue: https://bugs.php.net/fix.php?id=72347&r=support Expected behavior: https://bugs.php.net/fix.php?id=72347&r=notwrong Not enough info: https://bugs.php.net/fix.php?id=72347&r=notenoughinfo Submitted twice: https://bugs.php.net/fix.php?id=72347&r=submittedtwice register_globals: https://bugs.php.net/fix.php?id=72347&r=globals PHP 4 support discontinued: https://bugs.php.net/fix.php?id=72347&r=php4 Daylight Savings: https://bugs.php.net/fix.php?id=72347&r=dst IIS Stability: https://bugs.php.net/fix.php?id=72347&r=isapi Install GNU Sed: https://bugs.php.net/fix.php?id=72347&r=gnused Floating point limitations: https://bugs.php.net/fix.php?id=72347&r=float No Zend Extensions: https://bugs.php.net/fix.php?id=72347&r=nozend MySQL Configuration Error: https://bugs.php.net/fix.php?id=72347&r=mysqlcfg