From: Ted Kremenek <kremenek@apple.com>
Date: Wed, 16 Jan 2008 18:59:52 +0000 (+0000)
Subject: Added missing call to the checker's Initialize() method in the alternate
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=faa5b48710cc5c4c85df3218e567745b81b0ace4;p=clang

Added missing call to the checker's Initialize() method in the alternate
ctor for GREngine.


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

diff --git a/include/clang/Analysis/PathSensitive/GREngine.h b/include/clang/Analysis/PathSensitive/GREngine.h
index c37cd3965e..ad7f8824d2 100644
--- a/include/clang/Analysis/PathSensitive/GREngine.h
+++ b/include/clang/Analysis/PathSensitive/GREngine.h
@@ -195,7 +195,7 @@ protected:
 public:  
   /// Construct a GREngine object to analyze the provided CFG using
   ///  a DFS exploration of the exploded graph.
-  GREngine(CFG& Cfg)
+  GREngine(CFG& cfg)
   : GREngineImpl(cfg, new GraphTy(), GRWorkList::MakeDFS()),
       Checker(static_cast<GraphTy*>(G.get())->getCheckerState()) {
     Checker->Initialize(cfg);
@@ -206,7 +206,9 @@ public:
   ///  The GREngine object assumes ownership of 'wlist'.
   GREngine(CFG& cfg, GRWorkList* wlist) 
     : GREngineImpl(cfg, new GraphTy(), wlist),
-      Checker(static_cast<GraphTy*>(G.get())->getCheckerState()) {}
+      Checker(static_cast<GraphTy*>(G.get())->getCheckerState()) {
+    Checker->Initialize(cfg);
+  }
   
   virtual ~GREngine() {}