https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77691
--- Comment #55 from Jonathan Wakely <redi at gcc dot gnu.org> --- Created attachment 54215 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=54215&action=edit Generalise special case for malloc not afreeing with max_align_t I think we also want to fix the actual code to meet the guarantee, not just relax the test. Maybe like this.