From 29a9d00a569e355f8585d1e0e323620e5fc98ac1 Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Wed, 16 Jan 2008 18:59:52 +0000 Subject: Added missing call to the checker's Initialize() method in the alternate ctor for GREngine. llvm-svn: 46080 --- clang/include/clang/Analysis/PathSensitive/GREngine.h | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/clang/include/clang/Analysis/PathSensitive/GREngine.h b/clang/include/clang/Analysis/PathSensitive/GREngine.h index c37cd39..ad7f882 100644 --- a/clang/include/clang/Analysis/PathSensitive/GREngine.h +++ b/clang/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(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(G.get())->getCheckerState()) {} + Checker(static_cast(G.get())->getCheckerState()) { + Checker->Initialize(cfg); + } virtual ~GREngine() {} -- cgit v1.1