]> granicus.if.org Git - clang/commit
- constify some uses of MemRegion* (MemRegion should be immutable).
authorTed Kremenek <kremenek@apple.com>
Fri, 17 Oct 2008 20:28:54 +0000 (20:28 +0000)
committerTed Kremenek <kremenek@apple.com>
Fri, 17 Oct 2008 20:28:54 +0000 (20:28 +0000)
commit993f1c72913417be7c534ec7a634363cdfc84fa5
treea8df0848fceb539c20da9d93559785449bb7ee3a
parent0d504c1da852e58ff802545c823ecff3b6c654b8
- 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)

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@57717 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Analysis/PathSensitive/GRState.h
include/clang/Analysis/PathSensitive/MemRegion.h
include/clang/Analysis/PathSensitive/RValues.h
include/clang/Analysis/PathSensitive/Store.h
lib/Analysis/BasicObjCFoundationChecks.cpp
lib/Analysis/BasicStore.cpp
lib/Analysis/CFRefCount.cpp
lib/Analysis/CheckNSError.cpp
lib/Analysis/MemRegion.cpp
lib/Analysis/RegionStore.cpp