https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79671
--- Comment #56 from Jakub Jelinek <jakub at gcc dot gnu.org> --- I think may_alias attribute only affects pointers/references (pointer/reference to may_alias type is considered to reference any type), but in this->functor = f.functor the only pointer is this and *this likely isn't may_alias, and the bug is about f.functor access anyway.