https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99630
--- Comment #1 from Martin Sebor <msebor at gcc dot gnu.org> --- It might be worth warning for any out of bounds access to trailing members of polymorphic classes, regardless of whether the type of the complete enclosing object is known (and known to be derived virtually).