2016-10-18 11:48:01 +00:00
|
|
|
--TEST--
|
|
|
|
Bug #73337 (try/catch not working with two exceptions inside a same operation)
|
|
|
|
--FILE--
|
|
|
|
<?php
|
|
|
|
class d { function __destruct() { throw new Exception; } }
|
|
|
|
try { new d + new d; } catch (Exception $e) { print "Exception properly caught\n"; }
|
|
|
|
?>
|
|
|
|
--EXPECTF--
|
2017-12-25 12:18:45 +00:00
|
|
|
Notice: Object of class d could not be converted to number in %sbug73337.php on line 3
|
2016-10-18 11:48:01 +00:00
|
|
|
|
2017-12-25 12:18:45 +00:00
|
|
|
Notice: Object of class d could not be converted to number in %sbug73337.php on line 3
|
2016-10-18 11:48:01 +00:00
|
|
|
Exception properly caught
|