diff options
-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; +} + |