https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99117
--- Comment #13 from Richard Biener <rguenth at gcc dot gnu.org> ---
So the valarray behavior boils down to
struct _Array { int * __restrict m_data; };
void foo (struct _Array dest, int *src, int n)
{
for (int i = 0; i < n; ++i)
dest.m_data[i] = src[i];
}
which we treat similarly:
_8 = MEM[(int *)_3 clique 1 base 0];
MEM[(int *)_7 clique 1 base 1] = _8;
and thus we'd vectorize "bogously" for example if src == dest.m_data + 1
