About these disclaimers associated with ivdep and such…
You guys are overthinking it. They’re just saying you cannot force the compiler to vectorize or parallelize a loop that it knows (can prove!) is not a parallel loop. They are not obliging the compiler to do dependence analysis or alias analysis or anything.
For example