[cfe-commits] r156921 - in /cfe/trunk/test/Analysis: outofbound-notwork.c reference.cpp

Jordy Rose jediknil at belkadan.com
Wed May 16 09:01:14 PDT 2012


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;





More information about the cfe-commits mailing list