On Thu, 17 May 2018, Richard Biener wrote:
>
> The following makes use of range-info to improve the basic building
> block of the alias-oracle so we can tell that in
>
> a[0] = 1;
> for (int i = 5; i < 17; ++i)
> a[i] = i;
> a[0] = 2;
>
> the ao_ref for a[i] does not alias the a[0] ac
The following makes use of range-info to improve the basic building
block of the alias-oracle so we can tell that in
a[0] = 1;
for (int i = 5; i < 17; ++i)
a[i] = i;
a[0] = 2;
the ao_ref for a[i] does not alias the a[0] acceses. Given range-info
is not always going to improve things o