¶bool isGuaranteedToTransferExecutionToSuccessor(
    const llvm::Instruction* I)

Description

Return true if this function can prove that the instruction I will always transfer execution to one of its successors (including the next instruction that follows within a basic block). E.g. this is not guaranteed for function calls that could loop infinitely. In other words, this function returns false for instructions that may transfer execution or fail to transfer execution in a way that is not captured in the CFG nor in the sequence of instructions within a basic block. Undefined behavior is assumed not to happen, so e.g. division is guaranteed to transfer execution to the following instruction even though division by zero might cause undefined behavior.

Declared at: llvm/include/llvm/Analysis/ValueTracking.h:590

Parameters

const llvm::Instruction* I