| commit | 687af80bc8d4907159ae158d10bf47c787c7a83c | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Tue Jan 29 19:43:15 2008 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Tue Jan 29 19:43:15 2008 +0000 |
| tree | cc97f862d941dcd75f8720be20ad16f111492ae4 | |
| parent | fa3ee8e6776634caf064ba5928ca7699d317a280 [diff] |
Added preliminary transfer function support for '==' and '!='. Made some internal API cleanups with creating ConcreteInt values, which lead to some code reduction in implementing "++", "--". git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@46528 91177308-0d34-0410-b5e6-96231b3b80d8