summaryrefslogtreecommitdiffstats
path: root/clang/include/clang
diff options
context:
space:
mode:
Diffstat (limited to 'clang/include/clang')
-rw-r--r--clang/include/clang/Analysis/Analyses/GRSimpleVals.h33
-rw-r--r--clang/include/clang/Analysis/LocalCheckers.h7
2 files changed, 6 insertions, 34 deletions
diff --git a/clang/include/clang/Analysis/Analyses/GRSimpleVals.h b/clang/include/clang/Analysis/Analyses/GRSimpleVals.h
deleted file mode 100644
index 2e772ef5366..00000000000
--- a/clang/include/clang/Analysis/Analyses/GRSimpleVals.h
+++ /dev/null
@@ -1,33 +0,0 @@
-//===-- GRSimpleVals.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 file defines the interface to use the 'GRSimpleVals' path-sensitive
-// constant-propagation analysis.
-//
-//===----------------------------------------------------------------------===//
-
-#ifndef LLVM_CLANG_GRCONSTANTS
-#define LLVM_CLANG_GRCONSTANTS
-
-namespace clang {
- class Diagnostic;
-
- /// RunGRSimpleVals - This is a simple driver to run the GRSimpleVals analysis
- /// on a provided CFG. This interface will eventually be replaced with
- /// something more elaborate as the requirements on the interface become
- /// clearer. The value returned is the number of nodes in the ExplodedGraph.
- unsigned RunGRSimpleVals(CFG& cfg, Decl& CD, ASTContext& Ctx,
- Diagnostic& Diag, bool Visualize, bool TrimGraph);
-
-} // end clang namespace
-
-
-#endif
diff --git a/clang/include/clang/Analysis/LocalCheckers.h b/clang/include/clang/Analysis/LocalCheckers.h
index 0966ffc0394..00fb06efe57 100644
--- a/clang/include/clang/Analysis/LocalCheckers.h
+++ b/clang/include/clang/Analysis/LocalCheckers.h
@@ -21,6 +21,7 @@ class CFG;
class Decl;
class Diagnostic;
class ASTContext;
+class PathDiagnosticClient;
void CheckDeadStores(CFG& cfg, ASTContext &Ctx, Diagnostic &Diags);
@@ -28,7 +29,11 @@ void CheckUninitializedValues(CFG& cfg, ASTContext& Ctx, Diagnostic& Diags,
bool FullUninitTaint=false);
void CheckCFRefCount(CFG& cfg, Decl& CodeDecl, ASTContext& Ctx,
- Diagnostic& Diag);
+ Diagnostic& Diag, PathDiagnosticClient* PD);
+
+unsigned RunGRSimpleVals(CFG& cfg, Decl& CD, ASTContext& Ctx,
+ Diagnostic& Diag, PathDiagnosticClient* PD,
+ bool Visualize, bool TrimGraph);
} // end namespace clang
OpenPOWER on IntegriCloud