diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-02-17 23:32:18 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-02-17 23:32:18 +0000 |
| commit | 51189468ea92a78b7c16d6f8a4a8c181f65ad2e2 (patch) | |
| tree | e8a0ebce9dd520e7b959035878efb972043f9a90 /clang/test/Analysis/array-struct.c | |
| parent | 13ed6f1ebe467b57ea5549f0b95e7aaa2c1c64e7 (diff) | |
| download | llvm-51189468ea92a78b7c16d6f8a4a8c181f65ad2e2.zip llvm-51189468ea92a78b7c16d6f8a4a8c181f65ad2e2.tar.gz llvm-51189468ea92a78b7c16d6f8a4a8c181f65ad2e2.tar.bz2 | |
Update several tests to explicitly use BasicConstraintManager as well as to use RangeConstraintManager with RegionStoreManager.
llvm-svn: 64854
Diffstat (limited to 'clang/test/Analysis/array-struct.c')
| -rw-r--r-- | clang/test/Analysis/array-struct.c | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/clang/test/Analysis/array-struct.c b/clang/test/Analysis/array-struct.c index 0d25ef7..bf615c3 100644 --- a/clang/test/Analysis/array-struct.c +++ b/clang/test/Analysis/array-struct.c @@ -1,6 +1,8 @@ -// RUN: clang -analyze -checker-simple -analyzer-store=basic -verify %s && -// RUN: clang -analyze -checker-cfref -analyzer-store=basic -verify %s && -// RUN: clang -analyze -checker-cfref -analyzer-store=region -verify %s +// RUN: clang -analyze -checker-simple -analyzer-store=basic -analyzer-constraints=basic -verify %s && +// RUN: clang -analyze -checker-cfref -analyzer-store=basic -analyzer-constraints=basic -verify %s && +// RUN: clang -analyze -checker-cfref -analyzer-store=basic -analyzer-constraints=range -verify %s && +// RUN: clang -analyze -checker-cfref -analyzer-store=region -analyzer-constraints=basic -verify %s && +// RUN: clang -analyze -checker-cfref -analyzer-store=region -analyzer-constraints=range -verify %s struct s { int data; |