| commit | 4b170e59391e6cd89a1de3ea328399f3f50ac9de | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Tue Feb 12 18:08:17 2008 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Tue Feb 12 18:08:17 2008 +0000 |
| tree | 6c5d8c1c49c477888197eea39fa32f6a29254278 | |
| parent | ad6c06c1b72193c7ac302ad5b1887d3cf0c0b161 [diff] |
Added GRBlockCounter class, which tracks the number of times blocks have been visited in a path. Added GRBlockCounter as an item to be enqueued to the worklist. Modified "ProcessBranch" in GRConstants to prune branches with symbolic conditions that have been already taken. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47010 91177308-0d34-0410-b5e6-96231b3b80d8