[llvm] [DSE] Consider the aliasing through global variable while checking clobber (PR #120044)

[Nikita Popov via llvm-commits]

nikic wrote:

The check for alloca should be a check for isIdentifiedFunctionLocal and your ValidFromAlloca function should be PointerMayBeCaptured -- though it probably makes sense to query it via EarliestEscapeAnalysis, which is a bit more precise and cached.

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