[Bug middle-end/80222] New: may_alias folded away

[rguenth at gcc dot gnu.org]

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

            Bug ID: 80222
           Summary: may_alias folded away
           Product: gcc
           Version: 7.0.1
            Status: UNCONFIRMED
          Keywords: wrong-code
          Severity: normal
          Priority: P3
         Component: middle-end
          Assignee: unassigned at gcc dot gnu.org
          Reporter: rguenth at gcc dot gnu.org
  Target Milestone: ---

struct C { int i; }__attribute__((may_alias)) ;

C a, b;

void foo()
{
  a = static_cast <C&> (b);
}

is folded away via gimplification / gimple_fold_indirect_ref.