From: Niels Dekker - no reply address on
> I'm still considering to submit a bug report to Microsoft, mainly to have
> this behavior documented...

Please have a look at the bug report I have just submitted: "No
std::terminate() when an exception throws while being thrown",
https://connect.microsoft.com/VisualStudio/feedback/ViewFeedback.aspx?FeedbackID=518603

Please let me know if you have any comment. (I can still edit the report, if
necessary.) It would also be helpful if you can indicate on the web page
that you can reproduce the bug, by clicking "I can too". And you can vote
for the issue, if you want to.


Kind regards,

Niels
--
Niels Dekker
http://www.xs4all.nl/~nd/dekkerware
Scientific programmer at LKEB, Leiden University Medical Center