commit c80135ba857da48173578b9c528fce6777e18168
author Ted Kremenek <kremenek@apple.com> Wed Nov 25 21:45:48 2009 +0000
committer Ted Kremenek <kremenek@apple.com> Wed Nov 25 21:45:48 2009 +0000
tree cf86de3e19c1ed0cdb16a15a656a77500545492f
parent b801b73fb94a818d750b814598892ec798b72724

Register internal checks with GRExprEngine when it is constructed, not manually in AnalysisConsumer.cpp.


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

lib/Analysis/GRExprEngine.cpp

diff --git a/lib/Analysis/GRExprEngine.cpp b/lib/Analysis/GRExprEngine.cpp
index 403126c..bfdbbdb 100644
--- a/lib/Analysis/GRExprEngine.cpp
+++ b/lib/Analysis/GRExprEngine.cpp
@@ -216,7 +216,11 @@
     CurrentStmt(NULL),
     NSExceptionII(NULL), NSExceptionInstanceRaiseSelectors(NULL),
     RaiseSel(GetNullarySelector("raise", G.getContext())),
-    BR(mgr, *this) {}
+    BR(mgr, *this)
+{
+  // Register internal checks.
+  RegisterInternalChecks();
+}
 
 GRExprEngine::~GRExprEngine() {
   BR.FlushReports();

lib/Frontend/AnalysisConsumer.cpp

diff --git a/lib/Frontend/AnalysisConsumer.cpp b/lib/Frontend/AnalysisConsumer.cpp
index ede3d47..43e168f 100644
--- a/lib/Frontend/AnalysisConsumer.cpp
+++ b/lib/Frontend/AnalysisConsumer.cpp
@@ -329,8 +329,6 @@
   GRExprEngine Eng(mgr);
 
   Eng.setTransferFunctions(tf);
-  Eng.RegisterInternalChecks(); // FIXME: Internal checks should just
-                                // automatically register.
   
   if (C.Opts.EnableExperimentalInternalChecks)
     RegisterExperimentalInternalChecks(Eng);