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
| 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 CLANG_ANALYSIS_CFG_REACHABILITY
17#define CLANG_ANALYSIS_CFG_REACHABILITY
| 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 --- | 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 --- |