[Bug c/71255] Implement #pragma may_alias

[mpolacek at gcc dot gnu.org]

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

--- Comment #21 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
The testcase in Comment 14 should now compile fine.