https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86483
--- Comment #2 from gnzlbg <gonzalobg88 at gmail dot com> --- The same applies to the alloc_align attribute. It also does not seem possible to specify alloc_align for some flag parameter that contains a masked alignment. For example: smallocx_return_t je_smallocx(size_t size, int flags); where the alignment can be specified in some of the bits of flags.