From 3397e467f5f20fb0c54fc1a30f99c2559661938a Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Fri, 17 Oct 2008 00:51:39 +0000 Subject: [PATCH] Mark these tests XFAIL. We need to add back assumption logic when doing array and field accesses. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@57658 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Analysis/CheckNSError.m | 1 + test/Analysis/null-deref-ps.c | 1 + 2 files changed, 2 insertions(+) diff --git a/test/Analysis/CheckNSError.m b/test/Analysis/CheckNSError.m index c6d846ef44..d8fea8d1c4 100644 --- a/test/Analysis/CheckNSError.m +++ b/test/Analysis/CheckNSError.m @@ -1,4 +1,5 @@ // RUN: clang -checker-cfref -verify %s +// XFAIL typedef signed char BOOL; typedef int NSInteger; diff --git a/test/Analysis/null-deref-ps.c b/test/Analysis/null-deref-ps.c index a085d5a963..42ac2db8a4 100644 --- a/test/Analysis/null-deref-ps.c +++ b/test/Analysis/null-deref-ps.c @@ -1,4 +1,5 @@ // RUN: clang -std=gnu99 -checker-simple -verify %s +// XFAIL #include #include -- 2.40.0