No, no. If a function call violates safety, purity, and nothrow-ness at the same time, these three errors should be reported at once, because the attributes have orthogonal semantics. That's definitely better diagnostic.

In this case, we should take better diagnostic output than compiler internal design. Diagnostic message is visible to many compiler users, so it will directly  affects to the compiler and language reputation.