| commit | 33c6369f799b0bf9f185ab15d859cb66f37e8c84 | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Wed Apr 16 15:51:26 2008 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Wed Apr 16 15:51:26 2008 +0000 |
| tree | cac643366478b7223a151b138625081f11ef6bee | |
| 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