[cfe-commits] r57658 - in /cfe/trunk/test/Analysis: CheckNSError.m null-deref-ps.c

[Ted Kremenek]

Author: kremenek
Date: Thu Oct 16 19:51:39 2008
New Revision: 57658

URL: http://llvm.org/viewvc/llvm-project?rev=57658&view=rev
Log:
Mark these tests XFAIL.  We need to add back assumption logic when doing array and field accesses.

Modified:
    cfe/trunk/test/Analysis/CheckNSError.m
    cfe/trunk/test/Analysis/null-deref-ps.c

Modified: cfe/trunk/test/Analysis/CheckNSError.m
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/CheckNSError.m?rev=57658&r1=57657&r2=57658&view=diff

==============================================================================
--- cfe/trunk/test/Analysis/CheckNSError.m (original)
+++ cfe/trunk/test/Analysis/CheckNSError.m Thu Oct 16 19:51:39 2008
@@ -1,4 +1,5 @@
 // RUN: clang -checker-cfref -verify %s
+// XFAIL
 
 typedef signed char BOOL;
 typedef int NSInteger;

Modified: cfe/trunk/test/Analysis/null-deref-ps.c
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/null-deref-ps.c?rev=57658&r1=57657&r2=57658&view=diff

==============================================================================
--- cfe/trunk/test/Analysis/null-deref-ps.c (original)
+++ cfe/trunk/test/Analysis/null-deref-ps.c Thu Oct 16 19:51:39 2008
@@ -1,4 +1,5 @@
 // RUN: clang -std=gnu99 -checker-simple -verify %s
+// XFAIL
 
 #include<stdint.h>
 #include <assert.h>