diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-05-04 14:31:19 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-05-04 14:31:19 +0000 |
| commit | 0b9ad89d0d4ba79cde726753169f83a72dc3d994 (patch) | |
| tree | 247c998ac32ffc8e335ee7dc68bb0003c898624e /test/Analysis/no-outofbounds.c | |
| parent | 8e5ebed3626fa963d1ac4d970fbf48512a986a13 (diff) | |
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
Diffstat (limited to 'test/Analysis/no-outofbounds.c')
| -rw-r--r-- | test/Analysis/no-outofbounds.c | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/test/Analysis/no-outofbounds.c b/test/Analysis/no-outofbounds.c deleted file mode 100644 index c07bf86a71..0000000000 --- a/test/Analysis/no-outofbounds.c +++ /dev/null @@ -1,8 +0,0 @@ -// 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; - char c = y[0] + y[1] + y[2]; // no-warning -} |