diff options
| author | George Karpenkov <ekarpenkov@apple.com> | 2018-10-11 22:59:59 +0000 |
|---|---|---|
| committer | George Karpenkov <ekarpenkov@apple.com> | 2018-10-11 22:59:59 +0000 |
| commit | 0fe246dfa0c6ff3bab36c0e51ed0d731ad0aa899 (patch) | |
| tree | c3a5ec455fa4bb4e163afb00475dd518bfa070ab /include/clang/StaticAnalyzer/Core/PathSensitive/WorkList.h | |
| parent | 0cd1f88e8c906082fd9c95a82ff0928a66e88c78 (diff) | |
[analyzer] Experiment with an iteration order only based on location, and not using the stack frame
Differential Revision: https://reviews.llvm.org/D53058
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@344313 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include/clang/StaticAnalyzer/Core/PathSensitive/WorkList.h')
| -rw-r--r-- | include/clang/StaticAnalyzer/Core/PathSensitive/WorkList.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/include/clang/StaticAnalyzer/Core/PathSensitive/WorkList.h b/include/clang/StaticAnalyzer/Core/PathSensitive/WorkList.h index 07edd35ff9..ef3c2694b2 100644 --- a/include/clang/StaticAnalyzer/Core/PathSensitive/WorkList.h +++ b/include/clang/StaticAnalyzer/Core/PathSensitive/WorkList.h @@ -85,6 +85,7 @@ public: static std::unique_ptr<WorkList> makeBFSBlockDFSContents(); static std::unique_ptr<WorkList> makeUnexploredFirst(); static std::unique_ptr<WorkList> makeUnexploredFirstPriorityQueue(); + static std::unique_ptr<WorkList> makeUnexploredFirstPriorityLocationQueue(); }; } // end ento namespace |