diff options
author | Ted Kremenek <kremenek@apple.com> | 2008-04-16 15:51:26 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2008-04-16 15:51:26 +0000 |
commit | 33c6369f799b0bf9f185ab15d859cb66f37e8c84 (patch) | |
tree | cac643366478b7223a151b138625081f11ef6bee /Driver/HTMLPrint.cpp | |
parent | 74ea3e5c57c087c046223096a97ea4e365f85eb6 (diff) |
In ExplodedGraphImpl::Trim, prioritize for paths that don't span loops by using
two worklists: for nodes whose locations are block edges with loop terminators
and another for nodes with all other locations. We only dequeue from the loop
worklist when the other is empty. Exploration of the graph is still in
reverse-BFS.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@49791 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'Driver/HTMLPrint.cpp')
0 files changed, 0 insertions, 0 deletions