This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: Ada and TBAA and arrays vs. VIEW_CONVERT_EXPRs

> doh.  It did
> 
>  34078     kenner     case ARRAY_TYPE:
> 134868  ebotcazou       if (!TYPE_NONALIASED_COMPONENT (type))
>  34373     kenner       record_alias_subset (superset, get_alias_set 
> (TREE_TYPE 
> (type)));
>  34078     kenner       break;
> 
> before.  I'll see if re-instantiating this fixed the problem as well.

That's DEFINITELY the root cause of what's going on here.

I was following this thread and was confused when it was claimed that
A and A[I] don't conflict.  If TYPE_NONALIASES_COMPOMENT is set, they
should be the SAME alias set and hence conflict and if not there should
be a subset relationship.  If the above was deleted, then certainly there
should be ALL SORTS of problems!
Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]