From: Ted Kremenek <kremenek@apple.com>
Date: Thu, 17 Dec 2009 01:44:13 +0000 (+0000)
Subject: Add failing test case for C++ static analysis.
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=d87682ed3c3e5d748d13a5c4f1cbb267aa756b31;p=clang

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
---

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();
+}