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 | e3f3825bd82f84f2a1ae0a02274a33298bb720b3 (patch) | |
| tree | 1a1ccc53aae3d5d9a854789bfe2a2ac571eee649 /test/Analysis/array-struct.c | |
| parent | 2735df2eb16acfb92b8cd24e163e3a74a7a4d950 (diff) | |
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.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@162384 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Analysis/array-struct.c')
| -rw-r--r-- | test/Analysis/array-struct.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/test/Analysis/array-struct.c b/test/Analysis/array-struct.c index 1b36190729..3c74d7b9ce 100644 --- a/test/Analysis/array-struct.c +++ b/test/Analysis/array-struct.c @@ -1,4 +1,3 @@ -// RUN: %clang_cc1 -analyze -analyzer-checker=core,experimental.core.CastToStruct -analyzer-store=region -analyzer-constraints=basic -verify %s // RUN: %clang_cc1 -analyze -analyzer-checker=core,experimental.core.CastToStruct -analyzer-store=region -analyzer-constraints=range -verify %s struct s { |