[llvm] [DA] Add check for base pointer invariance (PR #148241)

[Nikita Popov via llvm-commits]

https://github.com/nikic approved this pull request.

I'm okay with this, as it's conservatively correct. We can try to support more cases in a safe way later.

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