https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79671
--- Comment #95 from rguenther at suse dot de <rguenther at suse dot de> --- On April 2, 2017 10:54:28 AM GMT+02:00, "bernd.edlinger at hotmail dot de" <gcc-bugzi...@gcc.gnu.org> wrote: >https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79671 > >--- Comment #94 from Bernd Edlinger <bernd.edlinger at hotmail dot de> >--- >I always wondered why get_alias_set does not use >the may_alias attribute like this: > > >Index: alias.c >=================================================================== >--- alias.c (revision 246605) >+++ alias.c (working copy) >@@ -928,6 +928,9 @@ get_alias_set (tree t) > return 0; > } > >+ if (lookup_attribute ("may_alias", TYPE_ATTRIBUTES (t))) >+ return 0; >+ > /* See if the language has special handling for this type. */ > set = lang_hooks.get_alias_set (t); > if (set != -1) > >this would fix the remaining fall-out. Because that is not how it was designed or documented to work :)
