[cfe-commits] r46075 - /cfe/trunk/include/clang/Analysis/Analyses/GRConstants.h

[Ted Kremenek]

Author: kremenek
Date: Wed Jan 16 12:19:20 2008
New Revision: 46075

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

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

Added: cfe/trunk/include/clang/Analysis/Analyses/GRConstants.h
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Analysis/Analyses/GRConstants.h?rev=46075&view=auto

==============================================================================
--- cfe/trunk/include/clang/Analysis/Analyses/GRConstants.h (added)
+++ cfe/trunk/include/clang/Analysis/Analyses/GRConstants.h Wed Jan 16 12:19:20 2008
@@ -0,0 +1,31 @@
+//===-- GRConstants.h- Simple, Path-Sens. Constant Prop. ---------*- C++ -*-==//
+//   
+//                     The LLVM Compiler Infrastructure
+//
+// This file is distributed under the University of Illinois Open Source
+// License. See LICENSE.TXT for details.
+//
+//===----------------------------------------------------------------------===//
+//
+//               Constant Propagation via Graph Reachability
+//
+//  This files defines the interface to use the 'GRConstants' path-sensitive
+//  constant-propagation analysis.
+//
+//===----------------------------------------------------------------------===//
+
+#ifndef LLVM_CLANG_GRCONSTANTS
+#define LLVM_CLANG_GRCONSTANTS
+
+namespace clang {
+  
+  /// RunGRConstants - This is a simple driver to run the GRConstants analysis
+  ///  on a provided CFG.  This interface will eventually be replaced with
+  ///  something more elaborate as the requirements on the interface become
+  ///  clearer.
+  void RunGRConstants(CFG& cfg);
+  
+} // end clang namespace
+
+
+#endif