¶bool isPotentiallyReachable(
    const llvm::BasicBlock* From,
    const llvm::BasicBlock* To,
    const llvm::DominatorTree* DT = nullptr,
    const llvm::LoopInfo* LI = nullptr)

Description

Determine whether block 'To' is reachable from 'From', returning true if uncertain. Determine whether there is a path from From to To within a single function. Returns false only if we can prove that once 'From' has been reached then 'To' can not be executed. Conservatively returns true.

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

Parameters

const llvm::BasicBlock* From

const llvm::BasicBlock* To

const llvm::DominatorTree* DT = nullptr

const llvm::LoopInfo* LI = nullptr