[llvm] ee8da63 - [Analysis] Remove unused declaration isPotentiallyReachableFromMany (NFC)

[Kazu Hirata via llvm-commits]

Author: Kazu Hirata
Date: 2021-07-11T07:10:11-07:00
New Revision: ee8da6369225f47f85e61e1ef2807af6a8677a0d

URL: https://github.com/llvm/llvm-project/commit/ee8da6369225f47f85e61e1ef2807af6a8677a0d
DIFF: https://github.com/llvm/llvm-project/commit/ee8da6369225f47f85e61e1ef2807af6a8677a0d.diff

LOG: [Analysis] Remove unused declaration isPotentiallyReachableFromMany (NFC)

Added: 
    

Modified: 
    llvm/include/llvm/Analysis/CFG.h

Removed: 
    


################################################################################
diff  --git a/llvm/include/llvm/Analysis/CFG.h b/llvm/include/llvm/Analysis/CFG.h
index f2c10c7e6ed2..b90258f8efff 100644
--- a/llvm/include/llvm/Analysis/CFG.h
+++ b/llvm/include/llvm/Analysis/CFG.h
@@ -82,18 +82,6 @@ bool isPotentiallyReachable(
     const SmallPtrSetImpl<BasicBlock *> *ExclusionSet = nullptr,
     const DominatorTree *DT = nullptr, const LoopInfo *LI = nullptr);
 
-/// 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.
-bool isPotentiallyReachableFromMany(SmallVectorImpl<BasicBlock *> &Worklist,
-                                    BasicBlock *StopBB,
-                                    const DominatorTree *DT = nullptr,
-                                    const LoopInfo *LI = nullptr);
-
 /// Determine whether there is at least one path from a block in
 /// 'Worklist' to 'StopBB' without passing through any blocks in
 /// 'ExclusionSet', returning true if uncertain.