summaryrefslogtreecommitdiffstats
path: root/clang
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2010-02-23 03:08:26 +0000
committerTed Kremenek <kremenek@apple.com>2010-02-23 03:08:26 +0000
commit49fd94d261538c97ca9a6ef54aeea8b985ab8287 (patch)
tree1b915afd84dd0f874a4758e5a5c3827617e07edb /clang
parent30f5301e5440c4419329315f545242b55ddfe5e6 (diff)
downloadbcm5719-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.h41
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
OpenPOWER on IntegriCloud