| commit | 0806acf6a197ac7bd5c87649c0429e64e5d0db06 | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Tue Feb 05 23:08:41 2008 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Tue Feb 05 23:08:41 2008 +0000 |
| tree | b1d85beaeed3b1ae91861121946708b76943dca8 | |
| parent | dfab34a696d1dba8622248c31aaf605906cb6109 [diff] |
Added pretty-printing support for lval::SymIntConstraintVal and nonlval::SymIntConstraintVal. Reworked transfer function for '==' and '!=' for LValues to return SymIntConstraintVal when comparing a symbol with a constant. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@46778 91177308-0d34-0410-b5e6-96231b3b80d8