[cfe-commits] r91578 - /cfe/trunk/test/Analysis/misc-ps-region-store.cpp

[Ted Kremenek]

Author: kremenek
Date: Wed Dec 16 19:44:13 2009
New Revision: 91578

URL: http://llvm.org/viewvc/llvm-project?rev=91578&view=rev
Log:
Add failing test case for C++ static analysis.

Added:
    cfe/trunk/test/Analysis/misc-ps-region-store.cpp

Added: cfe/trunk/test/Analysis/misc-ps-region-store.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/misc-ps-region-store.cpp?rev=91578&view=auto

==============================================================================
--- cfe/trunk/test/Analysis/misc-ps-region-store.cpp (added)
+++ cfe/trunk/test/Analysis/misc-ps-region-store.cpp Wed Dec 16 19:44:13 2009
@@ -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();
+}