[PATCH] D11432: [Static Analyzer] Some tests do not turn on core checkers. Running the analyzers without the core checkers is no longer supported.
Phabricator
reviews at reviews.llvm.org
Thu Jul 23 20:25:37 PDT 2015
This revision was automatically updated to reflect the committed changes.
Closed by commit rL243088: [Static Analyzer] Some tests do not turn on core checkers. Running theā¦ (authored by xazax).
Changed prior to commit:
http://reviews.llvm.org/D11432?vs=30407&id=30557#toc
Repository:
rL LLVM
http://reviews.llvm.org/D11432
Files:
cfe/trunk/test/Analysis/ObjCRetSigs.m
cfe/trunk/test/Analysis/PR2978.m
cfe/trunk/test/Analysis/dead-stores.m
cfe/trunk/test/Analysis/rdar-6540084.m
Index: cfe/trunk/test/Analysis/dead-stores.m
===================================================================
--- cfe/trunk/test/Analysis/dead-stores.m
+++ cfe/trunk/test/Analysis/dead-stores.m
@@ -1,4 +1,4 @@
-// RUN: %clang_cc1 -analyze -analyzer-checker=alpha.core -analyzer-checker=deadcode.DeadStores,osx.cocoa.RetainCount -fblocks -verify -Wno-objc-root-class %s
+// RUN: %clang_cc1 -analyze -analyzer-checker=core,alpha.core -analyzer-checker=deadcode.DeadStores,osx.cocoa.RetainCount -fblocks -verify -Wno-objc-root-class %s
// expected-no-diagnostics
typedef signed char BOOL;
Index: cfe/trunk/test/Analysis/ObjCRetSigs.m
===================================================================
--- cfe/trunk/test/Analysis/ObjCRetSigs.m
+++ cfe/trunk/test/Analysis/ObjCRetSigs.m
@@ -1,4 +1,4 @@
-// RUN: %clang_cc1 -analyze -analyzer-checker=alpha.core -analyzer-checker=osx.cocoa.IncompatibleMethodTypes -verify -Wno-objc-root-class %s
+// RUN: %clang_cc1 -analyze -analyzer-checker=core,alpha.core -analyzer-checker=osx.cocoa.IncompatibleMethodTypes -verify -Wno-objc-root-class %s
int printf(const char *, ...);
Index: cfe/trunk/test/Analysis/rdar-6540084.m
===================================================================
--- cfe/trunk/test/Analysis/rdar-6540084.m
+++ cfe/trunk/test/Analysis/rdar-6540084.m
@@ -1,4 +1,4 @@
-// RUN: %clang_cc1 -analyze -analyzer-checker=alpha.core -analyzer-checker=deadcode.DeadStores -verify %s
+// RUN: %clang_cc1 -analyze -analyzer-checker=core,alpha.core -analyzer-checker=deadcode.DeadStores -verify %s
//
// This test exercises the live variables analysis (LiveVariables.cpp).
// The case originally identified a non-termination bug.
Index: cfe/trunk/test/Analysis/PR2978.m
===================================================================
--- cfe/trunk/test/Analysis/PR2978.m
+++ cfe/trunk/test/Analysis/PR2978.m
@@ -1,4 +1,4 @@
-// RUN: %clang_cc1 -analyze -analyzer-checker=alpha.core -analyzer-checker=alpha.osx.cocoa.Dealloc %s -verify
+// RUN: %clang_cc1 -analyze -analyzer-checker=core,alpha.core -analyzer-checker=alpha.osx.cocoa.Dealloc %s -verify
// Tests for the checker which checks missing/extra ivar 'release' calls
// in dealloc.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D11432.30557.patch
Type: text/x-patch
Size: 2219 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20150724/8e85e3e8/attachment.bin>
More information about the cfe-commits
mailing list