https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99955
--- Comment #4 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- I think may_alias ought to work together with vector_size, whatever its position in the attribute list, i.e. there is a front-end bug here for which making that combination of attributes work properly together in any order is the right fix.