llvm-project

Author	SHA1	Message	Date
Ted Kremenek	e6fea68c46	More test cases revealed that the logic in StoreManager::InvalidateRegion() needs more finesse when handling the invalidation of pointers. Pointers that were invalidated as integers could later cause problems for clients using them as pointers. It is easier for us to model a symbolic value as a pointer rather than modeling a non-symbolic value as a pointer. This patch causes: - StoreManager::InvalidateRegion() to not used the casted type of a region if it would cause a pointer type to be invalidated as a non-pointer type. - Pushes RegionStore::RetrieveElement() further by handling retrievals from symbolic arrays that have been invalidated. This uses the new SymbolDerived construct that was recently introduced. The result is that the failing test in misc-ps-region-store-x86_64.m now passes. Both misc-ps-region-store-x86_64.m and misc-ps-region-store-i386.m contain a test case that motivated this change. llvm-svn: 75730	2009-07-15 02:31:43 +00:00
Ted Kremenek	9a797db199	Split out 'test2' into an i386 and x86_64 file, illustrating how the test behavior differs between architectures. When this is no longer the case, these tests will be merged. llvm-svn: 75708	2009-07-14 23:17:22 +00:00

Author

SHA1

Message

Date

Ted Kremenek

e6fea68c46

More test cases revealed that the logic in StoreManager::InvalidateRegion() needs more finesse when handling the invalidation of pointers. Pointers that were invalidated as integers could later cause problems for clients using them as pointers. It is easier for us to model a symbolic value as a pointer rather than modeling a non-symbolic value as a pointer.

This patch causes:
- StoreManager::InvalidateRegion() to not used the casted type of a region if
  it would cause a pointer type to be invalidated as a non-pointer type.
- Pushes RegionStore::RetrieveElement() further by handling retrievals from
  symbolic arrays that have been invalidated.  This uses the new SymbolDerived
  construct that was recently introduced.
  
The result is that the failing test in misc-ps-region-store-x86_64.m now passes.
Both misc-ps-region-store-x86_64.m and misc-ps-region-store-i386.m contain a
test case that motivated this change.

llvm-svn: 75730

2009-07-15 02:31:43 +00:00

Ted Kremenek

9a797db199

Split out 'test2' into an i386 and x86_64 file, illustrating how the

test behavior differs between architectures.  When this is no longer
the case, these tests will be merged.

llvm-svn: 75708

2009-07-14 23:17:22 +00:00

2 Commits