| commit | 8b103c65c6ae4e1d2886417534bd02e31d6a18fc | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Fri Oct 17 20:28:54 2008 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Fri Oct 17 20:28:54 2008 +0000 |
| tree | 9dc9fed8248c3fd7a5e99bee43b587041cd24a6b | |
| parent | fc1066db815d930372783efc565451a7f0e158e6 [diff] |
- constify some uses of MemRegion* (MemRegion should be immutable). - Added new region "SymbolicRegion", which maps symbol values to the region domain. - Enhanced BasicStore::getFieldLValue() to return a FieldRegion (using SymbolicRegion) - Added some utility methods to GRState for fetch svals from the store. - Fixed regression in CheckNSError (we weren't getting the value bound to the parameter) llvm-svn: 57717