]> granicus.if.org Git - clang/commitdiff
Add failing test case for C++ static analysis.
authorTed Kremenek <kremenek@apple.com>
Thu, 17 Dec 2009 01:44:13 +0000 (01:44 +0000)
committerTed Kremenek <kremenek@apple.com>
Thu, 17 Dec 2009 01:44:13 +0000 (01:44 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@91578 91177308-0d34-0410-b5e6-96231b3b80d8

test/Analysis/misc-ps-region-store.cpp [new file with mode: 0644]

diff --git a/test/Analysis/misc-ps-region-store.cpp b/test/Analysis/misc-ps-region-store.cpp
new file mode 100644 (file)
index 0000000..c1e03bb
--- /dev/null
@@ -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();
+}