https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117785
--- Comment #26 from Hana Dusíková <hanicka at hanicka dot net> --- (In reply to Jakub Jelinek from comment #25) > In the end this is done only for classes derived from std::exception, to > match e.g. the verbose terminate handler at runtime. I wonder why? Is there technical reason? Originally I wanted to have a note in [expr.const] to encourage compilers to look into `E.what()` and at least in my prototype I'm aware of the type. Is something different in GCC's evaluator?
