[llvm] MemoryDependenceAnalysis: Consider a pointer clobbered if it is saved (PR #142096)

[Nikita Popov via llvm-commits]

nikic wrote:

What "capture" means also depends on context. A store into a local variable is a "capture" for the purposes of AA inside the function, and will be treated as such.

Btw, the first thing to check if you get AA-related miscompiles in C/C++ code is whether it works with `-fno-strict-aliasing`. The cause is almost always strict aliasing violations. If it works with `-fno-strict-aliasing`, you can use `-fsanitize=type` to identify the cause.

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