diff options
| author | 2020-08-03 15:06:44 +0000 | |
|---|---|---|
| committer | 2020-08-03 15:06:44 +0000 | |
| commit | b64793999546ed8adebaeebd9d8345d18db8927d (patch) | |
| tree | 4357c27b561d73b0e089727c6ed659f2ceff5f47 /gnu/llvm/tools/clang/lib/Analysis/CFGReachabilityAnalysis.cpp | |
| parent | Add support for UTF-8 DISPLAY-HINTs with octet length. For now only (diff) | |
| download | wireguard-openbsd-b64793999546ed8adebaeebd9d8345d18db8927d.tar.xz wireguard-openbsd-b64793999546ed8adebaeebd9d8345d18db8927d.zip | |
Remove LLVM 8.0.1 files.
Diffstat (limited to 'gnu/llvm/tools/clang/lib/Analysis/CFGReachabilityAnalysis.cpp')
| -rw-r--r-- | gnu/llvm/tools/clang/lib/Analysis/CFGReachabilityAnalysis.cpp | 77 |
1 files changed, 0 insertions, 77 deletions
diff --git a/gnu/llvm/tools/clang/lib/Analysis/CFGReachabilityAnalysis.cpp b/gnu/llvm/tools/clang/lib/Analysis/CFGReachabilityAnalysis.cpp deleted file mode 100644 index cdad5b57aee..00000000000 --- a/gnu/llvm/tools/clang/lib/Analysis/CFGReachabilityAnalysis.cpp +++ /dev/null @@ -1,77 +0,0 @@ -//===- CFGReachabilityAnalysis.cpp - Basic reachability analysis ----------===// -// -// The LLVM Compiler Infrastructure -// -// This file is distributed under the University of Illinois Open Source -// License. See LICENSE.TXT for details. -// -//===----------------------------------------------------------------------===// -// -// This file defines a flow-sensitive, (mostly) path-insensitive reachability -// analysis based on Clang's CFGs. Clients can query if a given basic block -// is reachable within the CFG. -// -//===----------------------------------------------------------------------===// - -#include "clang/Analysis/Analyses/CFGReachabilityAnalysis.h" -#include "clang/Analysis/CFG.h" -#include "llvm/ADT/BitVector.h" -#include "llvm/ADT/SmallVector.h" - -using namespace clang; - -CFGReverseBlockReachabilityAnalysis::CFGReverseBlockReachabilityAnalysis( - const CFG &cfg) - : analyzed(cfg.getNumBlockIDs(), false) {} - -bool CFGReverseBlockReachabilityAnalysis::isReachable(const CFGBlock *Src, - const CFGBlock *Dst) { - const unsigned DstBlockID = Dst->getBlockID(); - - // If we haven't analyzed the destination node, run the analysis now - if (!analyzed[DstBlockID]) { - mapReachability(Dst); - analyzed[DstBlockID] = true; - } - - // Return the cached result - return reachable[DstBlockID][Src->getBlockID()]; -} - -// Maps reachability to a common node by walking the predecessors of the -// destination node. -void CFGReverseBlockReachabilityAnalysis::mapReachability(const CFGBlock *Dst) { - SmallVector<const CFGBlock *, 11> worklist; - llvm::BitVector visited(analyzed.size()); - - ReachableSet &DstReachability = reachable[Dst->getBlockID()]; - DstReachability.resize(analyzed.size(), false); - - // Start searching from the destination node, since we commonly will perform - // multiple queries relating to a destination node. - worklist.push_back(Dst); - bool firstRun = true; - - while (!worklist.empty()) { - const CFGBlock *block = worklist.pop_back_val(); - - if (visited[block->getBlockID()]) - continue; - visited[block->getBlockID()] = true; - - // Update reachability information for this node -> Dst - if (!firstRun) { - // Don't insert Dst -> Dst unless it was a predecessor of itself - DstReachability[block->getBlockID()] = true; - } - else - firstRun = false; - - // Add the predecessors to the worklist. - for (CFGBlock::const_pred_iterator i = block->pred_begin(), - e = block->pred_end(); i != e; ++i) { - if (*i) - worklist.push_back(*i); - } - } -} |
