[Bug middle-end/88490] Missed autovectorization when indices are different
Fri Dec 14 12:01:00 GMT 2018
--- Comment #3 from Daniel Fruzynski <email@example.com> ---
In this case s->d is pointer to pointer to double, and both pointer levels have
restrict qualifier. I wonder if you could add some tag that s->d[n] and s->d[k]
points to separate memory areas. This tag could be later used to determine that
s->d[n] and s->d[k] also do not overlap.
More information about the Gcc-bugs