llvm::mustSuppressSpeculation

Return true if load speculation must be suppressed for sanitizers.

Synopsis

Declared in <llvm/Analysis/Loads.h>

bool
mustSuppressSpeculation(LoadInst const& LI);

Description

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.

Return Value

True if load speculation must be suppressed for sanitizers.

Parameters

Name

Description

Load whose speculation is being considered.

Created with MrDocs