@ -5,7 +5,6 @@ extern "C" void throw_int()
}
extern "C" void throw_id();
extern "C" int id_catchall;
extern "C" int catchall()
@ -16,7 +15,6 @@ extern "C" int catchall()
catch(...)
{
id_catchall = 1;
throw;
__builtin_trap();