diff options
| author | Ted Kremenek <kremenek@apple.com> | 2012-08-22 19:47:13 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2012-08-22 19:47:13 +0000 |
| commit | a056d62961b96403b85e28255bbf8e7edfd0d88c (patch) | |
| tree | 75cc530d88007a0d9fd4593603bdbefac573a341 /clang/test/Analysis/cfref_PR2519.c | |
| parent | e07728b936471ad995bd67ab80cf9bea2fce2644 (diff) | |
| download | bcm5719-llvm-a056d62961b96403b85e28255bbf8e7edfd0d88c.tar.gz bcm5719-llvm-a056d62961b96403b85e28255bbf8e7edfd0d88c.zip | |
Remove BasicConstraintManager. It hasn't been in active service for a while.
As part of this change, I discovered that a few of our tests were not testing
the RangeConstraintManager. Luckily all of those passed when I moved them
over to use that constraint manager.
llvm-svn: 162384
Diffstat (limited to 'clang/test/Analysis/cfref_PR2519.c')
| -rw-r--r-- | clang/test/Analysis/cfref_PR2519.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/clang/test/Analysis/cfref_PR2519.c b/clang/test/Analysis/cfref_PR2519.c index 52921098691..adece9a926e 100644 --- a/clang/test/Analysis/cfref_PR2519.c +++ b/clang/test/Analysis/cfref_PR2519.c @@ -1,4 +1,3 @@ -// RUN: %clang_cc1 -analyze -analyzer-checker=core,osx.cocoa.RetainCount,experimental.core -analyzer-store=region -analyzer-constraints=basic -verify %s // RUN: %clang_cc1 -analyze -analyzer-checker=core,osx.cocoa.RetainCount,experimental.core -analyzer-store=region -analyzer-constraints=range -verify %s typedef unsigned char Boolean; |
