On Wed, Feb 14, 2018 at 10:44 AM, Richard Sandiford
wrote:
> object_address_invariant_in_loop_p ignored ARRAY_REF indices on
> the basis that:
>
> /* Index of the ARRAY_REF was zeroed in analyze_indices, thus we
> only
> need to check the stride and the lower bound of the r
object_address_invariant_in_loop_p ignored ARRAY_REF indices on
the basis that:
/* Index of the ARRAY_REF was zeroed in analyze_indices, thus we only
need to check the stride and the lower bound of the reference. */
That was true back in 2007 when the code was added:
stat
