Author: jrose
Date: Wed May 16 11:01:14 2012
New Revision: 156921
URL: http://llvm.org/viewvc/llvm-project?rev=156921&view=rev
Log:
[analyzer] Fix RUN lines for old XFAIL tests, one of which actually works.
Modified:
cfe/trunk/test/Analysis/outofbound-notwork.c
cfe/trunk/test/Analysis/reference.cpp
Modified: cfe/trunk/test/Analysis/outofbound-notwork.c
URL:
http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/outofbound-notwork.c?rev=156921&r1=156920&r2=156921&view=diff
==============================================================================
--- cfe/trunk/test/Analysis/outofbound-notwork.c (original)
+++ cfe/trunk/test/Analysis/outofbound-notwork.c Wed May 16 11:01:14 2012
@@ -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
Modified: cfe/trunk/test/Analysis/reference.cpp
URL:
http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/reference.cpp?rev=156921&r1=156920&r2=156921&view=diff
==============================================================================
--- cfe/trunk/test/Analysis/reference.cpp (original)
+++ cfe/trunk/test/Analysis/reference.cpp Wed May 16 11:01:14 2012
@@ -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;
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
