https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80635
--- Comment #11 from Marc Glisse <glisse at gcc dot gnu.org> --- (In reply to Jonathan Wakely from comment #8) > Something like __builtin_unreachable() to say "trust me" would be nice, but > I can't think how to do it. Some __builtin_unreachable() in _M_get might (?) be useful even if it doesn't help with the destructor issue. Or some assertion for debug mode, since the comment above says "The _M_get operations have _M_engaged as a precondition"... (In reply to Jonathan Wakely from comment #10) > Sadly I have no better suggestion than -Wno-error=maybe-uninitialized Move -Wmaybe-uninitialized from -Wall to -Wextra?