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.
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.
_______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
