Interesting indeed, I would be curious to see if the restrict keyword would help in this case? that should give guarantee to the compiler that those pointers are not aliasing.
