https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83453
--- Comment #4 from Martin Sebor <msebor at gcc dot gnu.org> --- The checking was relaxed to allow the attribute to specify a less restrictive alignment than the minimum provided by the target without triggering the warning, so the xfails can be removed. The rationale for the relaxation is that a looser alignment is trivially satisfied by providing a stricter alignment. The following discussion has the background: https://gcc.gnu.org/ml/gcc/2018-11/msg00127.html