diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-07-01 23:24:11 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-07-01 23:24:11 +0000 |
| commit | a8a295f2d9a689651fc83bde602c991409a6025d (patch) | |
| tree | cd966100a55a2ac16fd3ad0202c96cdfa1d34372 | |
| parent | cf092389a9e13fc2c5534f66971d60e8b920671e (diff) | |
| download | bcm5719-llvm-a8a295f2d9a689651fc83bde602c991409a6025d.tar.gz bcm5719-llvm-a8a295f2d9a689651fc83bde602c991409a6025d.zip | |
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.
llvm-svn: 74662
| -rw-r--r-- | clang/test/Analysis/stack-addr-ps.c | 15 |
1 files changed, 13 insertions, 2 deletions
diff --git a/clang/test/Analysis/stack-addr-ps.c b/clang/test/Analysis/stack-addr-ps.c index 2f7a4bdf740..848adc8d9fe 100644 --- a/clang/test/Analysis/stack-addr-ps.c +++ b/clang/test/Analysis/stack-addr-ps.c @@ -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 @@ void* alloca_test() { 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; +} + |
