| commit | 8e49dd6e7e73b275a74338a5127a524f0765303c | [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 | bab96968886f4b77083f4e26a28986ddb1e42d67 [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