https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80635
--- Comment #14 from Tom Tromey <tromey 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. How about an attribute that can be attached to the member? Then tree-ssa-uninit could check for this and suppress the warning.