[llvm] [ValueTracking] Prove constant-offset PtrAdd into known-size allocation is not poison. (PR #187825)

[Nikita Popov via llvm-commits]

nikic wrote:

I'll point out that an alternative way to fix the motivating issue is to support pushing freeze through constant expressions. That does not require additional analysis, only additional InstCombine support.

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