diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-10-17 00:51:39 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-10-17 00:51:39 +0000 |
| commit | 3397e467f5f20fb0c54fc1a30f99c2559661938a (patch) | |
| tree | 98ef06ffd1343a1f25bde7263ac53621e56aa070 | |
| parent | d9bc33efa195114d6f2a365c26e5b8dba4e1cc38 (diff) | |
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
| -rw-r--r-- | test/Analysis/CheckNSError.m | 1 | ||||
| -rw-r--r-- | test/Analysis/null-deref-ps.c | 1 |
2 files changed, 2 insertions, 0 deletions
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<stdint.h> #include <assert.h> |