Your vectors are local to the function, so not the same thing, trivial for compiler to know they aren't aliased.