Added missing call to the checker's Initialize() method in the alternate

ctor for GREngine.

llvm-svn: 46080

Author: tkremenek

clang/include/clang/Analysis/PathSensitive/GREngine.h

@@ -195,7 +195,7 @@ class GREngine : public GREngineImpl {
 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 @@ class GREngine : public GREngineImpl {
   ///  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() {}