From eea8c29aa332e96f627f72c07a1dbe393d9496e6 Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Mon, 6 Jul 2009 21:58:46 +0000 Subject: Make 'BasicStoreManager' + 'NewCastRegion' testable from the command line using '-analyzer-store=basic-new-cast'. llvm-svn: 74865 --- clang/test/Analysis/array-struct.c | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'clang/test/Analysis/array-struct.c') 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 && -- cgit v1.1