diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-01-16 18:59:52 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-01-16 18:59:52 +0000 |
| commit | 29a9d00a569e355f8585d1e0e323620e5fc98ac1 (patch) | |
| tree | 2d7a6cb260480d9eb9e206877cb10b4292014b63 | |
| parent | 34eb8bb3bd7001aecca770cc6720a6b2810308c3 (diff) | |
| download | llvm-29a9d00a569e355f8585d1e0e323620e5fc98ac1.zip llvm-29a9d00a569e355f8585d1e0e323620e5fc98ac1.tar.gz llvm-29a9d00a569e355f8585d1e0e323620e5fc98ac1.tar.bz2 | |
Added missing call to the checker's Initialize() method in the alternate
ctor for GREngine.
llvm-svn: 46080
| -rw-r--r-- | clang/include/clang/Analysis/PathSensitive/GREngine.h | 6 |
1 files 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<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() {} |