This is an archive of the discontinued LLVM Phabricator instance.

Differential D11432

[Static Analyzer] Some tests do not turn on core checkers. Running the analyzers without the core checkers is no longer supported.
ClosedPublic

Authored by xazax.hun on Jul 22 2015, 2:59 PM.

Details

Reviewers
dcoughlin
krememek
zaks.anna
jordan_rose
Commits
rG5311a0b3636a: [Static Analyzer] Some tests do not turn on core checkers. Running the…
rC243088: [Static Analyzer] Some tests do not turn on core checkers. Running the…
rL243088: [Static Analyzer] Some tests do not turn on core checkers. Running the…
Summary

Some tests disabled core checkers. Running the analyzers without the core checkers is no longer supported.

Diff Detail

Repository
rL LLVM

Event Timeline

xazax.hun updated this revision to Diff 30407.Jul 22 2015, 2:59 PM
xazax.hun retitled this revision from to [Static Analyzer] Some tests do not turn on core checkers. Running the analyzers without the core checkers is no longer supported..
xazax.hun updated this object.
xazax.hun added reviewers: zaks.anna, krememek, jordan_rose, dcoughlin.
xazax.hun added a subscriber: cfe-commits.
zaks.anna edited edge metadata.Jul 23 2015, 5:49 PM

It has never been supported.

LGTM.

zaks.anna accepted this revision.Jul 23 2015, 5:49 PM
zaks.anna edited edge metadata.
This revision is now accepted and ready to land.Jul 23 2015, 5:49 PM
Closed by commit rL243088: [Static Analyzer] Some tests do not turn on core checkers. Running the… (authored by xazax). · Explain WhyJul 23 2015, 8:25 PM
This revision was automatically updated to reflect the committed changes.

Revision Contents

PathSize
cfe/
trunk/
test/
Analysis/
2 lines
2 lines
2 lines
2 lines

Diff 30557

cfe/trunk/test/Analysis/ObjCRetSigs.m

// 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 *, ...); int printf(const char *, ...);
@interface MyBase @interface MyBase
-(long long)length; -(long long)length;
@end @end
@interface MySub : MyBase{} @interface MySub : MyBase{}
Show All 16 Lines

cfe/trunk/test/Analysis/PR2978.m

// 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 // Tests for the checker which checks missing/extra ivar 'release' calls
// in dealloc. // in dealloc.
@interface NSObject @interface NSObject
- (void)release; - (void)release;
- dealloc; - dealloc;
@end @end
▲ Show 20 Lines • Show All 53 Lines • Show Last 20 Lines

cfe/trunk/test/Analysis/dead-stores.m

// 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 // expected-no-diagnostics
typedef signed char BOOL; typedef signed char BOOL;
typedef unsigned int NSUInteger; typedef unsigned int NSUInteger;
typedef struct _NSZone NSZone; typedef struct _NSZone NSZone;
@class NSInvocation, NSMethodSignature, NSCoder, NSString, NSEnumerator; @class NSInvocation, NSMethodSignature, NSCoder, NSString, NSEnumerator;
@protocol NSObject - (BOOL)isEqual:(id)object; @end @protocol NSObject - (BOOL)isEqual:(id)object; @end
@protocol NSCopying - (id)copyWithZone:(NSZone *)zone; @end @protocol NSCopying - (id)copyWithZone:(NSZone *)zone; @end
▲ Show 20 Lines • Show All 110 Lines • Show Last 20 Lines

cfe/trunk/test/Analysis/rdar-6540084.m

// 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). // This test exercises the live variables analysis (LiveVariables.cpp).
// The case originally identified a non-termination bug. // The case originally identified a non-termination bug.
// //
typedef signed char BOOL; typedef signed char BOOL;
typedef unsigned int NSUInteger; typedef unsigned int NSUInteger;
typedef struct _NSZone NSZone; typedef struct _NSZone NSZone;
@protocol NSObject - (BOOL)isEqual:(id)object; @end @protocol NSObject - (BOOL)isEqual:(id)object; @end
Show All 28 Lines