https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108910
--- Comment #10 from Jakub Jelinek <jakub at gcc dot gnu.org> --- (In reply to Christophe Lyon from comment #9) > So is it expected that the alignment of TYPE_MAIN_VARIANT(type) is 512? Yes, it is. aligned attribute on non-aggregate types create a distinct type, and TYPE_MAIN_VARIANT of a distinct type is the non-qualified variant of such a distinct type. For structures/unions, I believe we disallow creation of less/more aligned variants of the original types, one needs to supply the alignment when defining the structure/union type.