diff options
| author | Ted Kremenek <kremenek@apple.com> | 2010-02-23 03:08:26 +0000 | 
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2010-02-23 03:08:26 +0000 | 
| commit | 49fd94d261538c97ca9a6ef54aeea8b985ab8287 (patch) | |
| tree | 1b915afd84dd0f874a4758e5a5c3827617e07edb /clang | |
| parent | 30f5301e5440c4419329315f545242b55ddfe5e6 (diff) | |
| download | bcm5719-llvm-49fd94d261538c97ca9a6ef54aeea8b985ab8287.tar.gz bcm5719-llvm-49fd94d261538c97ca9a6ef54aeea8b985ab8287.zip  | |
Add missing header file.
llvm-svn: 96875
Diffstat (limited to 'clang')
| -rw-r--r-- | clang/include/clang/Analysis/Analyses/ReachableCode.h | 41 | 
1 files changed, 41 insertions, 0 deletions
diff --git a/clang/include/clang/Analysis/Analyses/ReachableCode.h b/clang/include/clang/Analysis/Analyses/ReachableCode.h new file mode 100644 index 00000000000..32e26ff9e3a --- /dev/null +++ b/clang/include/clang/Analysis/Analyses/ReachableCode.h @@ -0,0 +1,41 @@ +//===- ReachableCode.h -----------------------------------------*- C++ --*-===// +// +//                     The LLVM Compiler Infrastructure +// +// This file is distributed under the University of Illinois Open Source +// License. See LICENSE.TXT for details. +// +//===----------------------------------------------------------------------===// +// +// A flow-sensitive, path-insensitive analysis of unreachable code. +// +//===----------------------------------------------------------------------===// + +#ifndef LLVM_CLANG_REACHABLECODE_H +#define LLVM_CLANG_REACHABLECODE_H + +//===----------------------------------------------------------------------===// +// Forward declarations. +//===----------------------------------------------------------------------===// + +namespace llvm { +class BitVector; +} // end llvm namespace + +namespace clang { +class CFGBlock; +} // end clang namespace + +//===----------------------------------------------------------------------===// +// API. +//===----------------------------------------------------------------------===// + +namespace clang { + +/// ScanReachableFromBlock - Mark all blocks reachable from Start. +/// Returns the total number of blocks that were marked reachable. +unsigned ScanReachableFromBlock(const CFGBlock &B, llvm::BitVector &Reachable); + +} // end clang namespace + +#endif  | 

