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 | 09e7c8894035f79f6287d0407c7b257fe3d5d294 (patch) | |
| tree | 3f9360f6687fe8977e6b5ecdeedf92e2a7d0e851 | |
| parent | 6d5a8caac3c44587d8a7eb0f7137e4d4a6302bfe (diff) | |
| download | bcm5719-llvm-09e7c8894035f79f6287d0407c7b257fe3d5d294.tar.gz bcm5719-llvm-09e7c8894035f79f6287d0407c7b257fe3d5d294.zip | |
[analyzer] Fix RUN lines for old XFAIL tests, one of which actually works.
llvm-svn: 156921
| -rw-r--r-- | clang/test/Analysis/outofbound-notwork.c | 2 | ||||
| -rw-r--r-- | clang/test/Analysis/reference.cpp | 3 |
2 files changed, 2 insertions, 3 deletions
diff --git a/clang/test/Analysis/outofbound-notwork.c b/clang/test/Analysis/outofbound-notwork.c index 45e713b6880..c1fa2d7148e 100644 --- a/clang/test/Analysis/outofbound-notwork.c +++ b/clang/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/clang/test/Analysis/reference.cpp b/clang/test/Analysis/reference.cpp index 5897e682884..e80952b8228 100644 --- a/clang/test/Analysis/reference.cpp +++ b/clang/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; |

