PHP :: Bug #72215 :: Wrong return value if var modified in finally

Bug #72215	Wrong return value if var modified in finally
Submitted:	2016-05-13 23:26 UTC	Modified:	2016-05-16 09:01 UTC
From:	nikic@php.net	Assigned:
Status:	Closed	Package:	Scripting Engine problem
PHP Version:	Irrelevant	OS:
Private report:	No	CVE-ID:	None

View Developer Edit

[2016-05-13 23:26 UTC] nikic@php.net

Description:
------------
Should return 1, the unmodified value, but returns 2.

Test script:
---------------
<?php

function test() {
    $a = 1;
    try {
        return $a;
    } finally {
        $a = 2;
    }
}
var_dump(test());

Patches

Pull Requests

History

AllCommentsChangesGit/SVN commitsRelated reports

[2016-05-16 03:26 UTC] laruence@php.net

I think the current way also makes sense, not a big issue here, it depends how we explain it..

[2016-05-16 09:01 UTC] nikic@php.net

@laruence: Yes, it's not entirely unreasonable. But I think it's very odd that "return $a + 1" will use the old value of $a, while "return $a" will use the new one...

This also ties in with our other problems with finally returns (the leak because we can't track liveness ranges, and bug #72216) -- if we fix any of them we'll probably automatically fix everything :)

[2016-07-13 12:09 UTC] dmitry@php.net

Automatic comment on behalf of dmitry@zend.com
Revision: http://git.php.net/?p=php-src.git;a=commit;h=3b8cb2119b33ed6b7701d78d32eed63593cf61ff
Log: Fixed bug #72347 (VERIFY_RETURN type casts visible in finally) Fixed bug #72216 (Return by reference with finally is not memory safe) Fixed bug #72215 (Wrong return value if var modified in finally)

[2016-07-13 12:09 UTC] dmitry@php.net

-Status: Open +Status: Closed

[2016-07-20 11:29 UTC] davey@php.net

Automatic comment on behalf of dmitry@zend.com
Revision: http://git.php.net/?p=php-src.git;a=commit;h=3b8cb2119b33ed6b7701d78d32eed63593cf61ff
Log: Fixed bug #72347 (VERIFY_RETURN type casts visible in finally) Fixed bug #72216 (Return by reference with finally is not memory safe) Fixed bug #72215 (Wrong return value if var modified in finally)

[2016-10-17 10:11 UTC] bwoebi@php.net

Automatic comment on behalf of dmitry@zend.com
Revision: http://git.php.net/?p=php-src.git;a=commit;h=3b8cb2119b33ed6b7701d78d32eed63593cf61ff
Log: Fixed bug #72347 (VERIFY_RETURN type casts visible in finally) Fixed bug #72216 (Return by reference with finally is not memory safe) Fixed bug #72215 (Wrong return value if var modified in finally)

	php.net \| support \| documentation \| report a bug \| advanced search \| search howto \| statistics \| random bug \| login
go to bug id or search bugs for


Copyright © 2001-2025 The PHP Group All rights reserved.	Last updated: Thu Oct 30 22:00:01 2025 UTC