Add preliminary support for enhancing null-pointer dereference diagnostics.

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

1 files changed, 10 insertions, 11 deletions

diff --git a/include/clang/Analysis/PathSensitive/BugReporter.h b/include/clang/Analysis/PathSensitive/BugReporter.h
index 99cbfd844b..90fd9d8ebf 100644
--- a/include/clang/Analysis/PathSensitive/BugReporter.h
+++ b/include/clang/Analysis/PathSensitive/BugReporter.h
@@ -50,7 +50,7 @@ public:
   virtual ~BugReporterVisitor();
   virtual PathDiagnosticPiece* VisitNode(const ExplodedNode<GRState>* N,
                                          const ExplodedNode<GRState>* PrevN,
-                                         BugReporterContext& BR) = 0;
+                                         BugReporterContext& BRC) = 0;
   
   virtual bool isOwnedByReporterContext() { return true; }
 };
@@ -115,7 +115,7 @@ public:
   }
   
   // FIXME: Perhaps move this into a subclass.
-  virtual PathDiagnosticPiece* getEndPath(BugReporterContext& BR,
+  virtual PathDiagnosticPiece* getEndPath(BugReporterContext& BRC,
                                           const ExplodedNode<GRState>* N);
   
   /// getLocation - Return the "definitive" location of the reported bug.
@@ -130,15 +130,10 @@ public:
 
   virtual PathDiagnosticPiece* VisitNode(const ExplodedNode<GRState>* N,
                                          const ExplodedNode<GRState>* PrevN,
-                                         BugReporterContext& BR);  
-
-  /*
-  virtual PathDiagnosticPiece* VisitNode(const ExplodedNode<GRState>* N,
-                                         const ExplodedNode<GRState>* PrevN,
-                                         const ExplodedGraph<GRState>& G,
-                                         BugReporterContext& BR,
-                                         NodeResolver& NR);
-   */
+                                         BugReporterContext& BR);
+  
+  virtual void registerInitialVisitors(BugReporterContext& BRC,
+                                       const ExplodedNode<GRState>* N) {}
 };
 
 //===----------------------------------------------------------------------===//
@@ -424,6 +419,10 @@ public:
     return BR.getStateManager();
   }
   
+  ValueManager& getValueManager() {
+    return getStateManager().getValueManager();
+  }
+  
   ASTContext& getASTContext() {
     return BR.getContext();
   }