https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66288
--- Comment #1 from vries at gcc dot gnu.org ---
Note that for the example from PR66285, with INDEX_TYPE long/unsigned long, we
vectorize without run-time aliasing test.
In that example, we start out with two restrict pointers. During aliasing,
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66288
--- Comment #2 from vries at gcc dot gnu.org ---
Before parallelization, we have:
...
doubleD.32 dataD.1837[1000];
doubleD.32 resultsD.1836[1000];
...
# VUSE .MEM_19
_6 = dataD.1837[idx_18];
_7 = _6 *
