[llvm] [LangRef] Do not make align imply dereferenceability (PR #158062)

Nikita Popov via llvm-commits llvm-commits at lists.llvm.org
Fri Sep 12 07:59:39 PDT 2025


nikic wrote:

> Otherwise, it's not. We are working with pointers result from int2ptr, so p+1 may point to a different object. 

Waaat? Surely int2ptr cannot bypass the provenance model like that?

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


More information about the llvm-commits mailing list