php-src/ext/opcache/tests/ssa_bug_005.phpt

--TEST--
Assign elision exception safety: UCALL
--SKIPIF--
<?php require_once('skipif.inc'); ?>
--FILE--
<?php

function test() {
    $dtor = new class { function __destruct() { throw new Exception; } };
    $a = 1;
    return [0, $a];
}

function test2() {
    $x = test();
}

try {
    test2();
} catch (Exception $e) {
    echo "caught\n";
}

?>
--EXPECT--
caught
Exception safety for direct CV assign of CALL instrs Converting T = CALL; ASSIGN $v, T into $v = *CALL may not be safe if an exception is thrown after the return value has been populated -- in this case the value might be destroyed twice. 2016-06-17 22:05:58 +00:00			`--TEST--`
			`Assign elision exception safety: UCALL`
Add missing SKIPIFs All these tests are meant to run with OPcache available, and some will even fail inevitably without it, so we add OPcache as SKIPIF requirement. 2019-07-01 13:01:24 +00:00			`--SKIPIF--`
			`<?php require_once('skipif.inc'); ?>`
Exception safety for direct CV assign of CALL instrs Converting T = CALL; ASSIGN $v, T into $v = *CALL may not be safe if an exception is thrown after the return value has been populated -- in this case the value might be destroyed twice. 2016-06-17 22:05:58 +00:00			`--FILE--`
			`<?php`

			`function test() {`
			`$dtor = new class { function __destruct() { throw new Exception; } };`
			`$a = 1;`
			`return [0, $a];`
			`}`

			`function test2() {`
			`$x = test();`
			`}`

			`try {`
			`test2();`
			`} catch (Exception $e) {`
			`echo "caught\n";`
			`}`

			`?>`
			`--EXPECT--`
			`caught`