[Bug c++/72659] Attribute may_alias breaks type matching

[andysem at mail dot ru]

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

--- Comment #1 from andysem at mail dot ru ---
Created attachment 39022
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=39022&action=edit
A reduced repro

I was also able to reduce the code further (see the attach). Compile with:

g++ -std=gnu++14 may_alias_test.cpp -o may_alias_test

may_alias_test.cpp:85:10: error: ‘void outer::derived::func(const
image_yuv420p&)’ marked ‘override’, but does not override
     void func(image_yuv420p const&) override
          ^

The error disappears if "__attribute__ ((__may_alias__))" is removed.