[Bug c/71255] Implement #pragma may_alias

[fw at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71255

--- Comment #31 from Florian Weimer <fw at gcc dot gnu.org> ---
Fixed via r7-1272. Thanks!