Move all logic for the null dereference checker from GRExprEngineInternalChecks.cpp to a separate .cpp file.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@85595 91177308-0d34-0410-b5e6-96231b3b80d8

1 files changed, 8 insertions, 18 deletions

diff --git a/include/clang/Analysis/PathSensitive/NullDerefChecker.h b/include/clang/Analysis/PathSensitive/NullDerefChecker.h
index 05c4b360f8..6905d6834b 100644
--- a/include/clang/Analysis/PathSensitive/NullDerefChecker.h
+++ b/include/clang/Analysis/PathSensitive/NullDerefChecker.h
@@ -1,4 +1,4 @@
-//== NullDerefChecker - Null dereference checker ----------------*- C++ -*--==//
+//== NullDerefChecker.h - Null dereference checker --------------*- C++ -*--==//
 //
 //                     The LLVM Compiler Infrastructure
 //
@@ -6,6 +6,11 @@
 // License. See LICENSE.TXT for details.
 //
 //===----------------------------------------------------------------------===//
+//
+// This defines NullDerefChecker, a builtin check in GRExprEngine that performs
+// checks for null pointers at loads and stores.
+//
+//===----------------------------------------------------------------------===//
 
 #ifndef LLVM_CLANG_NULLDEREFCHECKER
 #define LLVM_CLANG_NULLDEREFCHECKER
@@ -17,31 +22,16 @@ namespace clang {
 
 class ExplodedNode;
 
-class NullDeref : public BuiltinBug {
-public:
-  NullDeref() 
-    : BuiltinBug(0, "Null dereference", "Dereference of null pointer") {}
-
-  void registerInitialVisitors(BugReporterContext& BRC,
-                               const ExplodedNode* N,
-                               BuiltinBugReport *R);
-};
-
 class NullDerefChecker : public Checker {
-  NullDeref *BT;
+  BuiltinBug *BT;
   llvm::SmallVector<ExplodedNode*, 2> ImplicitNullDerefNodes;
 
 public:
-
   NullDerefChecker() : BT(0) {}
   ExplodedNode *CheckLocation(const Stmt *S, ExplodedNode *Pred,
                               const GRState *state, SVal V,GRExprEngine &Eng);
 
-  static void *getTag() {
-    static int x = 0;
-    return &x;
-  }
-
+  static void *getTag();
   typedef llvm::SmallVectorImpl<ExplodedNode*>::iterator iterator;
   iterator implicit_nodes_begin() { return ImplicitNullDerefNodes.begin(); }
   iterator implicit_nodes_end() { return ImplicitNullDerefNodes.end(); }