[cfe-commits] r96875 - /cfe/trunk/include/clang/Analysis/Analyses/ReachableCode.h

[Ted Kremenek]

Author: kremenek
Date: Mon Feb 22 21:08:26 2010
New Revision: 96875

URL: http://llvm.org/viewvc/llvm-project?rev=96875&view=rev
Log:
Add missing header file.

Added:
    cfe/trunk/include/clang/Analysis/Analyses/ReachableCode.h

Added: cfe/trunk/include/clang/Analysis/Analyses/ReachableCode.h
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Analysis/Analyses/ReachableCode.h?rev=96875&view=auto
==============================================================================
--- cfe/trunk/include/clang/Analysis/Analyses/ReachableCode.h (added)
+++ cfe/trunk/include/clang/Analysis/Analyses/ReachableCode.h Mon Feb 22 21:08:26 2010
@@ -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