summaryrefslogtreecommitdiffstats
path: root/test/Analysis/xfail_regionstore_wine_crash.c
diff options
context:
space:
mode:
authored <ed@FreeBSD.org>2009-06-02 17:58:47 +0000
committered <ed@FreeBSD.org>2009-06-02 17:58:47 +0000
commitf27e5a09a0d815b8a4814152954ff87dadfdefc0 (patch)
treece7d964cbb5e39695b71481698f10cb099c23d4a /test/Analysis/xfail_regionstore_wine_crash.c
downloadFreeBSD-src-f27e5a09a0d815b8a4814152954ff87dadfdefc0.zip
FreeBSD-src-f27e5a09a0d815b8a4814152954ff87dadfdefc0.tar.gz
Import Clang, at r72732.
Diffstat (limited to 'test/Analysis/xfail_regionstore_wine_crash.c')
-rw-r--r--test/Analysis/xfail_regionstore_wine_crash.c12
1 files changed, 12 insertions, 0 deletions
diff --git a/test/Analysis/xfail_regionstore_wine_crash.c b/test/Analysis/xfail_regionstore_wine_crash.c
new file mode 100644
index 0000000..2628d0d
--- /dev/null
+++ b/test/Analysis/xfail_regionstore_wine_crash.c
@@ -0,0 +1,12 @@
+// RUN: clang-cc -checker-cfref -analyze -analyzer-store=region -verify %s
+// XFAIL
+
+// When this test passes we should put it in the misc-ps.m test file.
+// This test fails now because RegionStoreManager::Retrieve() does correctly
+// retrieve the first byte of 'x' when retrieving '*y'.
+void foo() {
+ long x = 0;
+ char *y = (char *) &x;
+ if (!*y)
+ return;
+}
OpenPOWER on IntegriCloud