diff options
author | Ted Kremenek <kremenek@apple.com> | 2010-10-20 23:48:34 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2010-10-20 23:48:34 +0000 |
commit | f093350f76320909a015c82de60a500fdcaf5b8f (patch) | |
tree | 5236e49f9db23d415f3ff607e6a161f8ce469438 /include/clang/Checker/PathSensitive | |
parent | 2ce2baa81f1bdd5f1a2504bbf812d30f10e45bb5 (diff) |
Remove obsolete GRAuditor and GRSimpleAPICheck, which have been completely subsumed by the Checker interface.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@116973 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include/clang/Checker/PathSensitive')
4 files changed, 0 insertions, 76 deletions
diff --git a/include/clang/Checker/PathSensitive/GRAuditor.h b/include/clang/Checker/PathSensitive/GRAuditor.h deleted file mode 100644 index 015c82e80b..0000000000 --- a/include/clang/Checker/PathSensitive/GRAuditor.h +++ /dev/null @@ -1,35 +0,0 @@ -//==- GRAuditor.h - Observers of the creation of ExplodedNodes------*- C++ -*-// -// -// The LLVM Compiler Infrastructure -// -// This file is distributed under the University of Illinois Open Source -// License. See LICENSE.TXT for details. -// -//===----------------------------------------------------------------------===// -// -// This file defines GRAuditor and its primary subclasses, an interface -// to audit the creation of ExplodedNodes. This interface can be used -// to implement simple checkers that do not mutate analysis state but -// instead operate by perfoming simple logical checks at key monitoring -// locations (e.g., function calls). -// -//===----------------------------------------------------------------------===// - -#ifndef LLVM_CLANG_ANALYSIS_GRAUDITOR -#define LLVM_CLANG_ANALYSIS_GRAUDITOR - -namespace clang { - -class ExplodedNode; -class GRStateManager; - -class GRAuditor { -public: - virtual ~GRAuditor() {} - virtual bool Audit(ExplodedNode* N, GRStateManager& M) = 0; -}; - - -} // end clang namespace - -#endif diff --git a/include/clang/Checker/PathSensitive/GRCoreEngine.h b/include/clang/Checker/PathSensitive/GRCoreEngine.h index 5a5b7f22de..a1062ac03e 100644 --- a/include/clang/Checker/PathSensitive/GRCoreEngine.h +++ b/include/clang/Checker/PathSensitive/GRCoreEngine.h @@ -19,7 +19,6 @@ #include "clang/Checker/PathSensitive/ExplodedGraph.h" #include "clang/Checker/PathSensitive/GRWorkList.h" #include "clang/Checker/PathSensitive/GRBlockCounter.h" -#include "clang/Checker/PathSensitive/GRAuditor.h" #include "clang/Checker/PathSensitive/GRSubEngine.h" #include "llvm/ADT/OwningPtr.h" @@ -182,7 +181,6 @@ class GRStmtNodeBuilder { const unsigned Idx; ExplodedNode* Pred; GRStateManager& Mgr; - GRAuditor* Auditor; public: bool PurgingDeadSymbols; @@ -273,8 +271,6 @@ public: unsigned getIndex() const { return Idx; } - void setAuditor(GRAuditor* A) { Auditor = A; } - const GRState* GetState(ExplodedNode* Pred) const { if (Pred == getBasePredecessor()) return CleanedState; diff --git a/include/clang/Checker/PathSensitive/GRExprEngine.h b/include/clang/Checker/PathSensitive/GRExprEngine.h index 1d40e9775d..193d49baf5 100644 --- a/include/clang/Checker/PathSensitive/GRExprEngine.h +++ b/include/clang/Checker/PathSensitive/GRExprEngine.h @@ -20,7 +20,6 @@ #include "clang/Checker/PathSensitive/GRSubEngine.h" #include "clang/Checker/PathSensitive/GRCoreEngine.h" #include "clang/Checker/PathSensitive/GRState.h" -#include "clang/Checker/PathSensitive/GRSimpleAPICheck.h" #include "clang/Checker/PathSensitive/GRTransferFuncs.h" #include "clang/Checker/BugReporter/BugReporter.h" #include "clang/AST/Type.h" @@ -74,8 +73,6 @@ class GRExprEngine : public GRSubEngine { Selector* NSExceptionInstanceRaiseSelectors; Selector RaiseSel; - llvm::OwningPtr<GRSimpleAPICheck> BatchAuditor; - enum CallbackKind { PreVisitStmtCallback, PostVisitStmtCallback, @@ -178,9 +175,6 @@ public: return static_cast<CHECKER*>(lookupChecker(CHECKER::getTag())); } - void AddCheck(GRSimpleAPICheck* A, Stmt::StmtClass C); - void AddCheck(GRSimpleAPICheck* A); - /// ProcessStmt - Called by GRCoreEngine. Used to generate new successor /// nodes by processing the 'effects' of a block-level statement. void ProcessStmt(const CFGElement E, GRStmtNodeBuilder& builder); diff --git a/include/clang/Checker/PathSensitive/GRSimpleAPICheck.h b/include/clang/Checker/PathSensitive/GRSimpleAPICheck.h deleted file mode 100644 index 6d85e5fe6a..0000000000 --- a/include/clang/Checker/PathSensitive/GRSimpleAPICheck.h +++ /dev/null @@ -1,31 +0,0 @@ -// GRCheckAPI.h - Simple API checks based on GRAuditor ------------*- C++ -*--// -// -// The LLVM Compiler Infrastructure -// -// This file is distributed under the University of Illinois Open Source -// License. See LICENSE.TXT for details. -// -//===----------------------------------------------------------------------===// -// -// This file defines the interface for building simple, path-sensitive checks -// that are stateless and only emit warnings at errors that occur at -// CallExpr or ObjCMessageExpr. -// -//===----------------------------------------------------------------------===// - -#ifndef LLVM_CLANG_ANALYSIS_GRAPICHECKS -#define LLVM_CLANG_ANALYSIS_GRAPICHECKS - -#include "clang/Checker/PathSensitive/GRAuditor.h" - -namespace clang { - -class GRSimpleAPICheck : public GRAuditor { -public: - GRSimpleAPICheck() {} - virtual ~GRSimpleAPICheck() {} -}; - -} // end namespace clang - -#endif |