https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108683
--- Comment #3 from Jonathan Wakely <redi at gcc dot gnu.org> --- Pretend I didn't say empty then :) I think the problem is for any potentially overlapping subobject, which includes bases. Empty or not.