| commit | 1fbdb020311efa1b5b7de2758985287418018fac | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Tue Feb 05 21:32:43 2008 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Tue Feb 05 21:32:43 2008 +0000 |
| tree | 8e0c058b79b5c1796d94f888d69e2e99a62825d0 | |
| parent | 64515f31850024a263e8f55f81e9ea4b39925cfa [diff] |
Added "SymIntConstraint", a utility class to represent intermediate values for transfer function evaluation that represent constraints between symbolic values and constant integers. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@46769 91177308-0d34-0410-b5e6-96231b3b80d8