https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78666
--- Comment #7 from Martin Sebor <msebor at gcc dot gnu.org> --- The following nonsensical declaration is also not diagnosed: void __attribute__ ((alloc_align (1))) f (void*); The attribute handler should check that the referenced argument has integer type and that the function returns a pointer.