diff options
Diffstat (limited to 'include')
-rw-r--r-- | include/clang/Analysis/PathSensitive/GRCoreEngine.h | 2 | ||||
-rw-r--r-- | include/clang/Analysis/PathSensitive/GRWorkList.h | 5 |
2 files changed, 4 insertions, 3 deletions
diff --git a/include/clang/Analysis/PathSensitive/GRCoreEngine.h b/include/clang/Analysis/PathSensitive/GRCoreEngine.h index fe8634edad..93c2884f8b 100644 --- a/include/clang/Analysis/PathSensitive/GRCoreEngine.h +++ b/include/clang/Analysis/PathSensitive/GRCoreEngine.h @@ -631,7 +631,7 @@ public: /// a DFS exploration of the exploded graph. GRCoreEngine(CFG& cfg, Decl& cd, ASTContext& ctx, SubEngineTy& subengine) : GRCoreEngineImpl(new GraphTy(cfg, cd, ctx), - GRWorkList::MakeBFSBlockDFSContents()), + GRWorkList::MakeBFS()), SubEngine(subengine) {} /// Construct a GRCoreEngine object to analyze the provided CFG and to diff --git a/include/clang/Analysis/PathSensitive/GRWorkList.h b/include/clang/Analysis/PathSensitive/GRWorkList.h index de7ea5ebd6..c76532294c 100644 --- a/include/clang/Analysis/PathSensitive/GRWorkList.h +++ b/include/clang/Analysis/PathSensitive/GRWorkList.h @@ -68,8 +68,9 @@ public: void setBlockCounter(GRBlockCounter C) { CurrentCounter = C; } GRBlockCounter getBlockCounter() const { return CurrentCounter; } - static GRWorkList* MakeDFS(); - static GRWorkList* MakeBFSBlockDFSContents(); + static GRWorkList *MakeDFS(); + static GRWorkList *MakeBFS(); + static GRWorkList *MakeBFSBlockDFSContents(); }; } // end clang namespace #endif |