| commit | 174aea40779dd0c8dc3fd9bbe2e95f92853a9967 | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Tue Feb 05 18:51:06 2008 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Tue Feb 05 18:51:06 2008 +0000 |
| tree | da17325775882ec76c6047402c407b7b38b50e87 | |
| parent | 6f886bd34b6da6e4a92246e573067f2fac048137 [diff] |
Added a "ConstantNotEq" map to ValueState (and added necessary typedefs and factory objects to ValueStateManager). git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@46758 91177308-0d34-0410-b5e6-96231b3b80d8