CA-076 16.4.2.5p4 [compliance] Adjust note about terminate #463
Description
Even under the conditions described by the note, a call to terminate() is observably different from throwing an exception if the current terminate_handler function observes what would have been the currently handled exception in the case where the exception was thrown.
The set of conditions should be extended to include something along the lines of "and the current terminate_handler function simply calls abort()".