[llvm] [LoopAccessAnalysis] Keep pointer checks on partial analysis (PR #139719)

[Ramkumar Ramachandra via llvm-commits]

https://github.com/artagnon commented:

I think this is a sound change, and the test updates to LoopVersioningLICM look good!

https://github.com/llvm/llvm-project/pull/139719