Author: kremenek
Date: Tue Feb 17 13:29:07 2009
New Revision: 64788
URL: http://llvm.org/viewvc/llvm-project?rev=64788&view=rev
Log:
Enhance tests to exercise more combinations of using the RangeConstraintManager
with the RegionStoreManager.
Modified:
cfe/trunk/test/Analysis/CFDateGC.m
cfe/trunk/test/Analysis/misc-ps.m
Modified: cfe/trunk/test/Analysis/CFDateGC.m
URL:
http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/CFDateGC.m?rev=64788&r1=64787&r2=64788&view=diff
==============================================================================
--- cfe/trunk/test/Analysis/CFDateGC.m (original)
+++ cfe/trunk/test/Analysis/CFDateGC.m Tue Feb 17 13:29:07 2009
@@ -1,7 +1,8 @@
-// RUN: clang -analyze -checker-cfref -verify -fobjc-gc %s &&
+// RUN: clang -analyze -checker-cfref -verify -fobjc-gc
-analyzer-constraints=basic %s &&
// RUN: clang -analyze -checker-cfref -verify -fobjc-gc
-analyzer-constraints=range %s &&
// RUN: clang -analyze -checker-cfref -verify -fobjc-gc -disable-free %s &&
-// RUN: clang -analyze -checker-cfref -analyzer-store=region -verify -fobjc-gc
%s
+// RUN: clang -analyze -checker-cfref -analyzer-store=region
-analyzer-constraints=basic -verify -fobjc-gc %s &&
+// RUN: clang -analyze -checker-cfref -analyzer-store=region
-analyzer-constraints=range -verify -fobjc-gc %s
//===----------------------------------------------------------------------===//
// The following code is reduced using delta-debugging from
Modified: cfe/trunk/test/Analysis/misc-ps.m
URL:
http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/misc-ps.m?rev=64788&r1=64787&r2=64788&view=diff
==============================================================================
--- cfe/trunk/test/Analysis/misc-ps.m (original)
+++ cfe/trunk/test/Analysis/misc-ps.m Tue Feb 17 13:29:07 2009
@@ -1,5 +1,7 @@
-// RUN: clang -analyze -checker-cfref --analyzer-store=basic --verify -fblocks
%s &&
-// RUN: clang -analyze -checker-cfref --analyzer-store=region --verify
-fblocks %s
+// RUN: clang -analyze -checker-cfref --analyzer-store=basic
-analyzer-constraints=basic --verify -fblocks %s &&
+// RUN: clang -analyze -checker-cfref --analyzer-store=basic
-analyzer-constraints=range --verify -fblocks %s &&
+// RUN: clang -analyze -checker-cfref --analyzer-store=region
-analyzer-constraints=basic --verify -fblocks %s &&
+// RUN: clang -analyze -checker-cfref --analyzer-store=region
-analyzer-constraints=range --verify -fblocks %s
// Reduced test case from crash in <rdar://problem/6253157>
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
