[v3] libstdc++/48750

[Paolo Carlini]

Hi,

the below is what I ended up committing for this PR, very close to the 
preliminary draft I recently attached to Bugzilla. All in all, in my 
opinion the situation wrt the destructors was broken enough that we want 
the patch in the release branch too, if we want to encourage people to 
experiment with this special mode at all.

Tested x86_64-linux, normal, debug, and parallel-mode. Committed to 
mainline for now.

Thanks,
Paolo.

//////////////////////////
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: CL_48750_final
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20110503/d3a748cc/attachment.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: patch_48750_final
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20110503/d3a748cc/attachment-0001.ksh>