¶bool isPotentiallyReachableFromMany(
    SmallVectorImpl<llvm::BasicBlock*>& Worklist,
    llvm::BasicBlock* StopBB,
    const llvm::DominatorTree* DT = nullptr,
    const llvm::LoopInfo* LI = nullptr)

Description

Determine whether there is at least one path from a block in 'Worklist' to 'StopBB', returning true if uncertain. Determine whether there is a path from at least one block in Worklist to StopBB within a single function. Returns false only if we can prove that once any block in 'Worklist' has been reached then 'StopBB' can not be executed. Conservatively returns true.

Declared at: llvm/include/llvm/Analysis/CFG.h:89

Parameters

SmallVectorImpl<llvm::BasicBlock*>& Worklist

llvm::BasicBlock* StopBB

const llvm::DominatorTree* DT = nullptr

const llvm::LoopInfo* LI = nullptr