This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
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!