The behavior of exceptions in C++ is well-defined. But implementations do have bugs about many things that are well-defined - this is one of those cases.

Where in the C++ spec are implementations of features defined?

Of course it is not defined, that is a language specification not a compiler implementation guide.