clang/lib/Analysis/CheckNSError.cpp · 8b103c65c6ae4e1d2886417534bd02e31d6a18fc · Roger Ferrer / llvm-epi-0.8

"llvm/lib/git@repo.hca.bsc.es:rferrer/llvm-epi-0.8.git" did not exist on "6f18ae1ec89966997e5435673842bd8910b4c3dd"

- constify some uses of MemRegion* (MemRegion should be immutable). · 8b103c65

Ted Kremenek authored Oct 17, 2008

- 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

8b103c65