[llvm] [Loads] Check loop-varying pointer in isDereferenceableAndAlignedInLoop. (PR #120962)

[Florian Hahn via llvm-commits]

fhahn wrote:

I put up https://github.com/llvm/llvm-project/pull/123196 to consider UseDerefAtPointSemantics in isDereferenceableAndAlignedPointer when using assumptions.

As a first step, checking that the function doesn't free should be enough to avoid too many regressions?

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