ΒΆbool mustSuppressSpeculation(
const llvm::LoadInst& LI)
bool mustSuppressSpeculation(
const llvm::LoadInst& LI)
Description
Return true if speculation of the given load must be suppressed to avoid ordering or interfering with an active sanitizer. If not suppressed, dereferenceability and alignment must be proven separately. Note: This is only needed for raw reasoning; if you use the interface below (isSafeToSpeculativelyExecute), this is handled internally.
Declared at: llvm/include/llvm/Analysis/ValueTracking.h:398
Parameters
- const llvm::LoadInst& LI