https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86878
Jonathan Wakely <redi at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Last reconfirmed|2024-01-09 00:00:00 |2025-7-13
See Also| |https://gcc.gnu.org/bugzill
| |a/show_bug.cgi?id=79459
--- Comment #4 from Jonathan Wakely <redi at gcc dot gnu.org> ---
I'll look at adopting Martin's prototype patch, but I'll also note that if we
supported Clang's diagnose_if attribute, then we could put that on the aligned
allocation functions to diagnose bad alignments.
I still think it would be better if that was implied by __alloc_align__ though.
If we're saying the value is an alignment, then it needs to be a valid
alignment. I can't see any situation where you would want to use
__alloc_align__ and not want to warn about passing bad values.
