ΒΆbool isGuaranteedNotToBePoison(
const llvm::Value* V,
llvm::AssumptionCache* AC = nullptr,
const llvm::Instruction* CtxI = nullptr,
const llvm::DominatorTree* DT = nullptr,
unsigned int Depth = 0)
bool isGuaranteedNotToBePoison(
const llvm::Value* V,
llvm::AssumptionCache* AC = nullptr,
const llvm::Instruction* CtxI = nullptr,
const llvm::DominatorTree* DT = nullptr,
unsigned int Depth = 0)
Declared at: llvm/include/llvm/Analysis/ValueTracking.h:692
Parameters
- const llvm::Value* V
- llvm::AssumptionCache* AC = nullptr
- const llvm::Instruction* CtxI = nullptr
- const llvm::DominatorTree* DT = nullptr
- unsigned int Depth = 0