diff options
| author | Jordy Rose <jediknil@belkadan.com> | 2012-05-16 16:01:14 +0000 |
|---|---|---|
| committer | Jordy Rose <jediknil@belkadan.com> | 2012-05-16 16:01:14 +0000 |
| commit | e337cba7c5db7f102f6d86c93ecdbf123ae197f1 (patch) | |
| tree | a79c7f18b9696f853a30196befaedc7a64f26c68 | |
| parent | 43d9f0d4e9b88dcab473a359a7b5579c2a619b22 (diff) | |
[analyzer] Fix RUN lines for old XFAIL tests, one of which actually works.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@156921 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | test/Analysis/outofbound-notwork.c | 2 | ||||
| -rw-r--r-- | test/Analysis/reference.cpp | 3 |
2 files changed, 2 insertions, 3 deletions
diff --git a/test/Analysis/outofbound-notwork.c b/test/Analysis/outofbound-notwork.c index 45e713b688..c1fa2d7148 100644 --- a/test/Analysis/outofbound-notwork.c +++ b/test/Analysis/outofbound-notwork.c @@ -1,4 +1,4 @@ -// RUN: %clang_cc1 -Wno-array-bounds -analyze -analyzer-checker=core,experimental.unix,experimental.security.ArrayBound -analyzer-store=region -verify %s +// RUN: %clang_cc1 -Wno-array-bounds -analyze -analyzer-checker=core,experimental.security.ArrayBound -analyzer-store=region -verify %s // XFAIL: * // Once we better handle modeling of sizes of VLAs, we can pull this back diff --git a/test/Analysis/reference.cpp b/test/Analysis/reference.cpp index 5897e68288..e80952b822 100644 --- a/test/Analysis/reference.cpp +++ b/test/Analysis/reference.cpp @@ -1,11 +1,10 @@ // RUN: %clang_cc1 -analyze -analyzer-checker=core,experimental.core -analyzer-store=region -analyzer-constraints=range -verify -Wno-null-dereference %s -// XFAIL typedef typeof(sizeof(int)) size_t; void malloc (size_t); void f1() { - int const &i = 3; // <--- **FIXME** This is currently not being modeled correctly. + int const &i = 3; int b = i; int *p = 0; |