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/CGColorSpace.c | |
| parent | 13ed6f1ebe467b57ea5549f0b95e7aaa2c1c64e7 (diff) | |
| download | bcm5719-llvm-51189468ea92a78b7c16d6f8a4a8c181f65ad2e2.tar.gz bcm5719-llvm-51189468ea92a78b7c16d6f8a4a8c181f65ad2e2.zip | |
Update several tests to explicitly use BasicConstraintManager as well as to use RangeConstraintManager with RegionStoreManager.
llvm-svn: 64854
Diffstat (limited to 'clang/test/Analysis/CGColorSpace.c')
| -rw-r--r-- | clang/test/Analysis/CGColorSpace.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/clang/test/Analysis/CGColorSpace.c b/clang/test/Analysis/CGColorSpace.c index 807c6b83f28..eecd1d5b3cf 100644 --- a/clang/test/Analysis/CGColorSpace.c +++ b/clang/test/Analysis/CGColorSpace.c @@ -1,5 +1,6 @@ -// RUN: clang -analyze -checker-cfref -analyzer-store=basic -verify %s && -// RUN: clang -analyze -checker-cfref -analyzer-store=region -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 typedef struct CGColorSpace *CGColorSpaceRef; |
