https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88397
--- Comment #4 from Martin Sebor <msebor at gcc dot gnu.org> --- The problem with attribute noreturn is tracked separately in bug 79604 (the C front end seems to do the right thing there, as do Clang and ICC in both C and C++ modes). For attributes alloc_align and malloc, what concern do you have with accepting them on function pointers and function types? (So they work the same way as alloc_size.)