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--EXPECT--
9Exception properly caught
10
