From 0b9ad89d0d4ba79cde726753169f83a72dc3d994 Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Mon, 4 May 2009 14:31:19 +0000 Subject: [PATCH] Rename no-outofbounds.c to xfail-no-outofbounds.c and split off that test into a separate file to monitor the fact that BasicStoreManager passes the test. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@70859 91177308-0d34-0410-b5e6-96231b3b80d8 --- .../{no-outofbounds.c => no-outofbounds-basicstore.c} | 3 +-- test/Analysis/xfail-no-outofbounds.c | 7 +++++++ 2 files changed, 8 insertions(+), 2 deletions(-) rename test/Analysis/{no-outofbounds.c => no-outofbounds-basicstore.c} (66%) create mode 100644 test/Analysis/xfail-no-outofbounds.c diff --git a/test/Analysis/no-outofbounds.c b/test/Analysis/no-outofbounds-basicstore.c similarity index 66% rename from test/Analysis/no-outofbounds.c rename to test/Analysis/no-outofbounds-basicstore.c index c07bf86a71..9a0b35906d 100644 --- a/test/Analysis/no-outofbounds.c +++ b/test/Analysis/no-outofbounds-basicstore.c @@ -1,6 +1,5 @@ -// RUN: clang-cc -checker-cfref -analyze -analyzer-store=region -verify %s && // RUN: clang-cc -checker-cfref -analyze -analyzer-store=basic -verify %s -// XFAIL + void f() { long x = 0; char *y = (char*) &x; diff --git a/test/Analysis/xfail-no-outofbounds.c b/test/Analysis/xfail-no-outofbounds.c new file mode 100644 index 0000000000..e5c21c5b81 --- /dev/null +++ b/test/Analysis/xfail-no-outofbounds.c @@ -0,0 +1,7 @@ +// RUN: clang-cc -checker-cfref -analyze -analyzer-store=region -verify %s +// XFAIL +void f() { + long x = 0; + char *y = (char*) &x; + char c = y[0] + y[1] + y[2]; // no-warning +} -- 2.40.0