[cfe-commits] r46080 - /cfe/trunk/include/clang/Analysis/PathSensitive/GREngine.h

[Ted Kremenek]

Author: kremenek
Date: Wed Jan 16 12:59:52 2008
New Revision: 46080

URL: http://llvm.org/viewvc/llvm-project?rev=46080&view=rev
Log:
Added missing call to the checker's Initialize() method in the alternate
ctor for GREngine.

Modified:
    cfe/trunk/include/clang/Analysis/PathSensitive/GREngine.h

Modified: cfe/trunk/include/clang/Analysis/PathSensitive/GREngine.h
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Analysis/PathSensitive/GREngine.h?rev=46080&r1=46079&r2=46080&view=diff

==============================================================================
--- cfe/trunk/include/clang/Analysis/PathSensitive/GREngine.h (original)
+++ cfe/trunk/include/clang/Analysis/PathSensitive/GREngine.h Wed Jan 16 12:59:52 2008
@@ -195,7 +195,7 @@
 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 @@
   ///  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() {}