Hi folks!
In the example bellow the destructor of Object isn't called when exception
was raised from Run() method! That happens only with option -O1, -O2, -O3.
-O0 works fine.
Tested with gcc 3.2 and 3.3.1 in Solaris 8 Intel and HP-UX 11.00.
================== cut here =====================
#include <iostream>
class Raiser
{
public:
Raiser() throw( int )
{
throw 1;
};
};
class Object
{
public:
~Object()
{
std::cout << "~Object()" << std::endl;
};
};
class Base
{
public:
virtual ~Base(){};
virtual void Run(){};
};
class FromBase : public Base
{
public:
virtual ~FromBase(){};
virtual void Run()
{
std::cout << "Derived Run" << std::endl;
{
Object a;
std::cout << "Raise!" << std::endl;
Raiser riser;
}
std::cout << "Unreachable code" << std::endl;
};
};
int main()
{
FromBase a;
Base& b = static_cast<Base&>(a);
try
{
b.Run();
std::cout << "Unreach 2" << std::endl;
}
catch ( int )
{
std::cout << "Exception handler" << std::endl;
}
std::cout << "Exit Main" << std::endl;
return 0;
}
================ cut here =======================
Also we discovered calling a free function throwing an exception leads to same bug appears with -O3 only.
In general this bug coming when and only when class methods or free functions have exception specification!
Any help will be greatly appreciated!
----
Lev Assinovsky
Aelita Software Corporation
O&S InTrust Framework Division
