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.