From: Ted Kremenek Date: Wed, 16 Jan 2008 18:19:20 +0000 (+0000) Subject: Add missing header file for GRConstants analysis. X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=1f3722b29fbf0791ba0fc5411f624359672c5685;p=clang Add missing header file for GRConstants analysis. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@46075 91177308-0d34-0410-b5e6-96231b3b80d8 --- diff --git a/include/clang/Analysis/Analyses/GRConstants.h b/include/clang/Analysis/Analyses/GRConstants.h new file mode 100644 index 0000000000..7192bdc0b4 --- /dev/null +++ b/include/clang/Analysis/Analyses/GRConstants.h @@ -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