c++/3948: Two destructors are called when no copy destructor is defined

[gdr@gcc.gnu.org]

Synopsis: Two destructors are called when no copy destructor is defined

Responsible-Changed-From-To: unassigned->gdr
Responsible-Changed-By: gdr
Responsible-Changed-When: Mon Aug 13 04:16:09 2001
Responsible-Changed-Why:
    Boo!
State-Changed-From-To: open->analyzed
State-Changed-By: gdr
State-Changed-When: Mon Aug 13 04:16:09 2001
State-Changed-Why:
    Confirmed as a horrible bug in GCC-3.0. A regression over 2.95

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=3948&database=gcc