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
> I am having trouble understanding why they should be different, any
> reference to the array as a whole affects any or all components, and
> any reference to a component of the array affects the value of the
> array as a whole.
That's certainly true, but that doesn't mean that there's *no difference*
between the acesses from a TBAA point of view.
However, when thinking about it some more, that the case I was concerned
about can't occur. On the other hand, there shouldn't be any difference
between records and arrays here and that's what bothers me. Why is the
mechanism any different between the two cases? The subsetting is supposed
to make this work.