diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-05-01 22:18:46 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-05-01 22:18:46 +0000 |
| commit | 8ff59e832591eaa5f3be9885857e71bbcb3da77c (patch) | |
| tree | 2e063d87be715a8e9cee3cf08edde21f900dff3e /include/clang/Analysis/PathSensitive/GRCoreEngine.h | |
| parent | 2d44e8a41de8a33c0f04ac198714f71dc841bab0 (diff) | |
Add a new BFS GRWorkList and make it the default worklist model for
GRCoreEngine. This tends to result in shorter paths for pathological cases.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@70585 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include/clang/Analysis/PathSensitive/GRCoreEngine.h')
| -rw-r--r-- | include/clang/Analysis/PathSensitive/GRCoreEngine.h | 2 |
1 files changed, 1 insertions, 1 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 |