https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88181
--- Comment #4 from Jan Hubicka <hubicka at gcc dot gnu.org> --- It is possible that the verifier is just overzelaous here, but it seems it really does not make sense to have packed variant of nonpacked structure and vice versa because the memory layout is different. So i would say it is FE bug to create non-packed variant of packed type?
