[llvm] [LAA] Support assumptions in evaluatePtrAddRecAtMaxBTCWillNotWrap (PR #147047)

[Florian Hahn via llvm-commits]

fhahn wrote:

@annamthomas I am working on a few more patches to allow using dereferenceable assumptions with non-constant sizes, the first one is https://github.com/llvm/llvm-project/pull/156529, and I'll share another probably tomorrow

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