]> granicus.if.org Git - clang/commitdiff
Add missing header file for GRConstants analysis.
authorTed Kremenek <kremenek@apple.com>
Wed, 16 Jan 2008 18:19:20 +0000 (18:19 +0000)
committerTed Kremenek <kremenek@apple.com>
Wed, 16 Jan 2008 18:19:20 +0000 (18:19 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@46075 91177308-0d34-0410-b5e6-96231b3b80d8

include/clang/Analysis/Analyses/GRConstants.h [new file with mode: 0644]

diff --git a/include/clang/Analysis/Analyses/GRConstants.h b/include/clang/Analysis/Analyses/GRConstants.h
new file mode 100644 (file)
index 0000000..7192bdc
--- /dev/null
@@ -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