https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86842
--- Comment #6 from Jonathan Wakely <redi at gcc dot gnu.org> --- In fact I'm not really sure there's anything concrete that can be done here. "Check stuff!" isn't very helpful. We already check stuff. Specific suggestions for additional checks are useful. Overly general requests to check everything are not useful, and so the bug report might as well be closed. Nobody's going to work on "check everything everywhere and make it all configurable". Instead of inventing gcc-specific mechanisms it would seem prudent to do something based on http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0542r5.html but we have no plans for using that in libstdc++ at this time.