ΒΆbool isGuaranteedToTransferExecutionToSuccessor(
    BasicBlock::const_iterator Begin,
    BasicBlock::const_iterator End,
    unsigned int ScanLimit = 32)

Description

Return true if every instruction in the range (Begin, End) is guaranteed to transfer execution to its static successor. \p ScanLimit bounds the search to avoid scanning huge blocks.

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

Parameters

BasicBlock::const_iterator Begin
BasicBlock::const_iterator End
unsigned int ScanLimit = 32