[llvm-dev] valid BasicAA behavior?

[Michael Kruse via llvm-dev]

Thanks for the hint. Indeed there seems to be confusion between
aliasing of the elements accessed in one itertation and aliasing
between the underlaying arrays.

Michael