In the current version of the standard on the GitHub repo [0], Section 14.5 Paragraph 5 says:
> Whenever an exception is thrown and the search for a handler (14.4) encounters the outermost block of a function with a non-throwing exception specification, the function std::terminate is called (14.6.1).
I don't know when precisely noexcept was changed to call std::terminate, but I did find N3103 (included in the 2010-08 post-Rapperswil mailing [1]), which argued that the standard should require calling std::terminate to avoid security issues.
However, I don't find any referenc to noexcept having gotten defined behaviour. Do you have any pointers?