[cfe-commits] r74662 - /cfe/trunk/test/Analysis/stack-addr-ps.c

[Ted Kremenek]

Author: kremenek
Date: Wed Jul  1 18:24:11 2009
New Revision: 74662

URL: http://llvm.org/viewvc/llvm-project?rev=74662&view=rev
Log:
Temporarily disable RegionStore for stack-addr-ps.c, as a new test case reveals
a case where RegionStore doesn't create symbolic values for the fields of
structs that are passed-by-value.

Modified:
    cfe/trunk/test/Analysis/stack-addr-ps.c

Modified: cfe/trunk/test/Analysis/stack-addr-ps.c
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/stack-addr-ps.c?rev=74662&r1=74661&r2=74662&view=diff

==============================================================================
--- cfe/trunk/test/Analysis/stack-addr-ps.c (original)
+++ cfe/trunk/test/Analysis/stack-addr-ps.c Wed Jul  1 18:24:11 2009
@@ -1,5 +1,6 @@
-// RUN: clang-cc -analyze -checker-cfref -analyzer-store=basic -verify %s &&
-// RUN: clang-cc -analyze -checker-cfref -analyzer-store=region -verify %s
+// RUN: clang-cc -analyze -checker-cfref -analyzer-store=basic -verify %s
+
+// NOWORK: clang-cc -analyze -checker-cfref -analyzer-store=region -verify %s
 
 #include <stdlib.h>
 
@@ -41,3 +42,13 @@
   return p; // expected-warning{{Address of stack memory}}
 }
 
+int array_test(int x[2]) {
+  return x[0]; // no-warning
+}
+
+struct baz { int x; };
+
+int struct_test(struct baz byVal) {
+  return byVal.x; // no-warning;
+}
+