[clang] [llvm] [Loads] Check context instruction for context-sensitive derefability (PR #109277)

Nikita Popov via cfe-commits cfe-commits at lists.llvm.org
Mon Nov 4 09:08:23 PST 2024


nikic wrote:

> Is it even possible for `isSafeToSpeculativelyExecute` to return `true` now with the default (nullptr) CtxI for loads? Can `isDereferenceableAndAlignedPointer` just short-circuit to `false` with null CtxI?

Yes, it's possible for anything where the derefability is not context-sensitive (like globals, dereferenceable arguments, allocas, etc).

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


More information about the cfe-commits mailing list