¶bool isGuaranteedToTransferExecutionToSuccessor(
    const llvm::BasicBlock* BB)

Description

Returns true if this block does not contain a potential implicit exit. This is equivelent to saying that all instructions within the basic block are guaranteed to transfer execution to their successor within the basic block. This has the same assumptions w.r.t. undefined behavior as the instruction variant of this function.

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

Parameters

const llvm::BasicBlock* BB