xref: /PHP-7.2/Zend/tests/bug73337.phpt (revision 6558559b)
1--TEST--
2Bug #73337 (try/catch not working with two exceptions inside a same operation)
3--FILE--
4<?php
5class d { function __destruct() { throw new Exception; } }
6try { new d + new d; } catch (Exception $e) { print "Exception properly caught\n"; }
7?>
8--EXPECTF--
9Notice: Object of class d could not be converted to int in %sbug73337.php on line 3
10
11Notice: Object of class d could not be converted to int in %sbug73337.php on line 3
12Exception properly caught
13