]> granicus.if.org Git - clang/commit
Add a new BFS GRWorkList and make it the default worklist model for
authorTed Kremenek <kremenek@apple.com>
Fri, 1 May 2009 22:18:46 +0000 (22:18 +0000)
committerTed Kremenek <kremenek@apple.com>
Fri, 1 May 2009 22:18:46 +0000 (22:18 +0000)
commit8ff59e832591eaa5f3be9885857e71bbcb3da77c
tree2e063d87be715a8e9cee3cf08edde21f900dff3e
parent2d44e8a41de8a33c0f04ac198714f71dc841bab0
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
include/clang/Analysis/PathSensitive/GRCoreEngine.h
include/clang/Analysis/PathSensitive/GRWorkList.h
lib/Analysis/GRCoreEngine.cpp