O que acontece se ocorrer uma exceção numa função marcada como noexcept?

O programa terminará chamando std::terminate(). Este comportamento é definido no padrão C++ para garantir a ausência de estouro de pilha em funções marcadas como noexcept.