36 lines · plain
1// RUN: %clang_analyze_cc1 -analyzer-checker=alpha.webkit.NoUncheckedPtrMemberChecker -verify %s2 3#include "mock-types.h"4 5__attribute__((objc_root_class))6@interface NSObject7+ (instancetype) alloc;8- (instancetype) init;9- (instancetype)retain;10- (void)release;11@end12 13void doSomeWork();14 15@interface SomeObjC : NSObject {16 CheckedObj* _unchecked1;17// expected-warning@-1{{Instance variable '_unchecked1' in 'SomeObjC' is a raw pointer to CheckedPtr capable type 'CheckedObj'}} 18 CheckedPtr<CheckedObj> _counted1;19 [[clang::suppress]] CheckedObj* _unchecked2;20}21- (void)doWork;22@end23 24@implementation SomeObjC {25 CheckedObj* _unchecked3;26// expected-warning@-1{{Instance variable '_unchecked3' in 'SomeObjC' is a raw pointer to CheckedPtr capable type 'CheckedObj'}}27 CheckedPtr<CheckedObj> _counted2;28 [[clang::suppress]] CheckedObj* _unchecked4;29}30 31- (void)doWork {32 doSomeWork();33}34 35@end36