diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-12-13 21:49:13 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-12-13 21:49:13 +0000 |
| commit | 6eddeb153415049c7b62de4b45385a759a6906c6 (patch) | |
| tree | 57719fa07ce27b9eee1141ea2122fc7a6f1ca191 /test/Analysis/rdar-6442306-1.m | |
| parent | 60f8c868ffb346b78451a3eccaecd0461d2ae498 (diff) | |
| download | clang-6eddeb153415049c7b62de4b45385a759a6906c6.tar.gz | |
MemRegion:
- Overhauled the notion of "types" for TypedRegions. We now distinguish between the "lvalue" of a region (via getLValueRegion()) and the "rvalue" of a region (va getRValueRegion()). Since a region represents a chunk of memory it has both, but we were conflating these concepts in some cases, leading to some insidious bugs.
- Removed AnonPointeeType, partially because it is unused and because it doesn't have a clear notion of lvalue vs rvalue type. We can add it back once there is a need for it and we can resolve its role with these concepts.
StoreManager:
- Overhauled StoreManager::CastRegion. It expects an *lvalue* type for a region. This is actually what motivated the overhaul to the MemRegion type mechanism. It also no longer returns an SVal; we can just return a MemRegion*.
- BasicStoreManager::CastRegion now overlays an "AnonTypedRegion" for pointer-pointer casts. This matches with the MemRegion changes.
- Similar changes to RegionStore, except I've added a bunch of FIXMEs where it wasn't 100% clear where we should use TypedRegion::getRValueRegion() or TypedRegion::getLValueRegion().
AuditCFNumberCreate check:
- Now blasts through AnonTypedRegions that may layer the original memory region, thus checking if the actually memory block is of the appropriate type. This change was needed to work with the changes to StoreManager::CastRegion.
GRExprEngine::VisitCast:
- Conform to the new interface of StoreManager::CastRegion.
Tests:
- None of the analysis tests fail now for using the "basic store".
- Disabled the tests 'array-struct.c' and 'rdar-6442306-1.m' pending further testing and bug fixing.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@60995 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Analysis/rdar-6442306-1.m')
| -rw-r--r-- | test/Analysis/rdar-6442306-1.m | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/Analysis/rdar-6442306-1.m b/test/Analysis/rdar-6442306-1.m index fa8f0aa168..2bc5c5c75f 100644 --- a/test/Analysis/rdar-6442306-1.m +++ b/test/Analysis/rdar-6442306-1.m @@ -1,5 +1,5 @@ -// RUN: clang -checker-cfref %s --analyzer-store-basic -verify && -// RUN: clang -checker-cfref %s --analyzer-store-region -verify +// RUN: clang -checker-cfref %s --analyzer-store-basic -verify +// DISABLE: clang -checker-cfref %s --analyzer-store-region -verify typedef int bar_return_t; typedef struct { |