1//==- CFGReachabilityAnalysis.h - Basic reachability analysis ----*- C++ -*-==//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file defines a flow-sensitive, (mostly) path-insensitive reachability
11// analysis based on Clang's CFGs. Clients can query if a given basic block
12// is reachable within the CFG.
13//
14//===----------------------------------------------------------------------===//
15
16#ifndef LLVM_CLANG_ANALYSIS_ANALYSES_CFGREACHABILITYANALYSIS_H
17#define LLVM_CLANG_ANALYSIS_ANALYSES_CFGREACHABILITYANALYSIS_H
18
19#include "llvm/ADT/BitVector.h"
20#include "llvm/ADT/DenseMap.h"
21
22namespace clang {
23
24class CFG;
25class CFGBlock;

--- 24 unchanged lines hidden ---