Bug in exception handling.

Question

Following program:
#include <stdexcept>
struct X
    virtual ~X() {};
struct Y : virtual X
    Y() throw (std::runtime_error);
Y::Y() throw (std::runtime_error) { throw std::runtime_error("joda"); }
struct Z :  Y {
  Z() {}
int main() try {
  Z A;
} catch (std::runtime_error & r) {}Results in :
Assertion failed: 0, file ../lnk/exthrow.cc, line 425
Abort
in 32 bit mod and
Bus error
when run in 64 bit mode.
% CC -V
CC: Sun C++ 5.8 Patch 121017-02 2006/04/19
If the virtual in struct Y : virtual X is taken away it works.
If the virtual destructor in X is taken away it works.
If the constructor of Y is moved into the class it works.
(If it is then compiled with +d then it does not work)
If a throw clause is added to the constructor of Z then it works.
even if a throw () is added does it work!
It should abort but it does not. The exception is propagated.
Was this hard to nail down? Yes!

Answer 1

Thanks for reporting the problem. I have filed bug number 6428383 for you.
If you have a service contract with Sun, you can use your support channel to track progress on this bug, and get pre-release patches to fix it.
Otherwise, you can check the Sun Studio patch page from time to time to see whether a patch has been released that fixes this bug.
http://developers.sun.com/prodtech/cc/downloads/patches/index.jsp