https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112882
--- Comment #5 from Jonathan Wakely <redi at gcc dot gnu.org> --- The original effect of --disable-libstdcxx-verbose was to change the default std::terminate handler, which is a configure-time property. But it's now also used to decide whether to use the verbose assertion or just abort. That latter property could be flipped at compile-time. Even with this bug fixed, that might be useful (probably for stage 1 though).
