diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-07-06 21:58:46 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-07-06 21:58:46 +0000 |
| commit | eea8c29aa332e96f627f72c07a1dbe393d9496e6 (patch) | |
| tree | 2668dbef69c607eee5853a18df19eafd635f4e22 /clang/test/Analysis/array-struct.c | |
| parent | 26e8b9c9c1d3880769c1e7dbc30bd072ea877b91 (diff) | |
| download | llvm-eea8c29aa332e96f627f72c07a1dbe393d9496e6.zip llvm-eea8c29aa332e96f627f72c07a1dbe393d9496e6.tar.gz llvm-eea8c29aa332e96f627f72c07a1dbe393d9496e6.tar.bz2 | |
Make 'BasicStoreManager' + 'NewCastRegion' testable from the command line using '-analyzer-store=basic-new-cast'.
llvm-svn: 74865
Diffstat (limited to 'clang/test/Analysis/array-struct.c')
| -rw-r--r-- | clang/test/Analysis/array-struct.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/clang/test/Analysis/array-struct.c b/clang/test/Analysis/array-struct.c index da7df4b..07abbca 100644 --- a/clang/test/Analysis/array-struct.c +++ b/clang/test/Analysis/array-struct.c @@ -1,5 +1,7 @@ // RUN: clang-cc -analyze -checker-cfref -analyzer-store=basic -analyzer-constraints=basic -verify %s && -// RUN: clang-cc -analyze -checker-cfref -analyzer-store=basic -analyzer-constraints=range -verify %s +// RUN: clang-cc -analyze -checker-cfref -analyzer-store=basic-new-cast -analyzer-constraints=basic -verify %s && +// RUN: clang-cc -analyze -checker-cfref -analyzer-store=basic -analyzer-constraints=range -verify %s && +// RUN: clang-cc -analyze -checker-cfref -analyzer-store=basic-new-cast -analyzer-constraints=range -verify %s // RegionStore now has an infinite recursion with this test case. // RUN: clang-cc -analyze -checker-cfref -analyzer-store=region -analyzer-constraints=basic -verify %s && |