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 c37cd3965eec4425f3df76cf999aca20b69f18d9..ad7f8824d2bc4cc41d4e4f5b754ffc661b3de365 100644 (file)
--- 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() {}