aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2009-12-17 01:44:13 +0000
committerTed Kremenek <kremenek@apple.com>2009-12-17 01:44:13 +0000
commitd87682ed3c3e5d748d13a5c4f1cbb267aa756b31 (patch)
treeeb005e5459a5a23ac51fdb5ed6a792b313d6a19c
parent5f75f92a9c2e6e3ad8fbb08532b6e5852d785b60 (diff)
Add failing test case for C++ static analysis.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@91578 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r--test/Analysis/misc-ps-region-store.cpp9
1 files changed, 9 insertions, 0 deletions
diff --git a/test/Analysis/misc-ps-region-store.cpp b/test/Analysis/misc-ps-region-store.cpp
new file mode 100644
index 0000000000..c1e03bb0d9
--- /dev/null
+++ b/test/Analysis/misc-ps-region-store.cpp
@@ -0,0 +1,9 @@
+// RUN: %clang_cc1 -triple i386-apple-darwin9 -analyze -analyzer-experimental-internal-checks -checker-cfref -analyzer-store=region -verify -fblocks -analyzer-opt-analyze-nested-blocks %s
+// RUN: %clang_cc1 -triple x86_64-apple-darwin9 -analyze -analyzer-experimental-internal-checks -checker-cfref -analyzer-store=region -verify -fblocks -analyzer-opt-analyze-nested-blocks %s
+// XFAIL: *
+
+// This test case currently crashes because of an assertion failure.
+char &test1_aux();
+char *test1() {
+ return &test1_aux();
+}