1*67e74705SXin Li// RUN: %clang_cc1 -analyze -analyzer-checker=core,osx.cocoa.NSError,osx.coreFoundation.CFError -analyzer-store=region -analyzer-constraints=range -verify -Wno-objc-root-class %s 2*67e74705SXin Li 3*67e74705SXin Li 4*67e74705SXin Litypedef signed char BOOL; 5*67e74705SXin Litypedef int NSInteger; 6*67e74705SXin Litypedef struct _NSZone NSZone; 7*67e74705SXin Li@class NSInvocation, NSMethodSignature, NSCoder, NSString, NSEnumerator; 8*67e74705SXin Li@protocol NSObject - (BOOL)isEqual:(id)object; @end 9*67e74705SXin Li@protocol NSCopying - (id)copyWithZone:(NSZone *)zone; @end 10*67e74705SXin Li@protocol NSCoding - (void)encodeWithCoder:(NSCoder *)aCoder; @end 11*67e74705SXin Li@interface NSObject <NSObject> {} @end 12*67e74705SXin Li@class NSDictionary; 13*67e74705SXin Li@interface NSError : NSObject <NSCopying, NSCoding> {} 14*67e74705SXin Li+ (id)errorWithDomain:(NSString *)domain code:(NSInteger)code userInfo:(NSDictionary *)dict; 15*67e74705SXin Li@end 16*67e74705SXin Liextern NSString * const NSXMLParserErrorDomain ; 17*67e74705SXin Li 18*67e74705SXin Li@interface A 19*67e74705SXin Li- (void)myMethodWhichMayFail:(NSError **)error; 20*67e74705SXin Li- (BOOL)myMethodWhichMayFail2:(NSError **)error; 21*67e74705SXin Li@end 22*67e74705SXin Li 23*67e74705SXin Li@implementation A 24*67e74705SXin Li- (void)myMethodWhichMayFail:(NSError **)error { // expected-warning {{Method accepting NSError** should have a non-void return value to indicate whether or not an error occurred}} 25*67e74705SXin Li *error = [NSError errorWithDomain:@"domain" code:1 userInfo:0]; // expected-warning {{Potential null dereference}} 26*67e74705SXin Li} 27*67e74705SXin Li 28*67e74705SXin Li- (BOOL)myMethodWhichMayFail2:(NSError **)error { // no-warning 29*67e74705SXin Li if (error) *error = [NSError errorWithDomain:@"domain" code:1 userInfo:0]; // no-warning 30*67e74705SXin Li return 0; 31*67e74705SXin Li} 32*67e74705SXin Li@end 33*67e74705SXin Li 34*67e74705SXin Listruct __CFError {}; 35*67e74705SXin Litypedef struct __CFError* CFErrorRef; 36*67e74705SXin Li 37*67e74705SXin Livoid foo(CFErrorRef* error) { // expected-warning {{Function accepting CFErrorRef* should have a non-void return value to indicate whether or not an error occurred}} 38*67e74705SXin Li *error = 0; // expected-warning {{Potential null dereference}} 39*67e74705SXin Li} 40*67e74705SXin Li 41*67e74705SXin Liint f1(CFErrorRef* error) { 42*67e74705SXin Li if (error) *error = 0; // no-warning 43*67e74705SXin Li return 0; 44*67e74705SXin Li} 45*67e74705SXin Li 46*67e74705SXin Liint f2(CFErrorRef* error) { 47*67e74705SXin Li if (0 != error) *error = 0; // no-warning 48*67e74705SXin Li return 0; 49*67e74705SXin Li} 50*67e74705SXin Li 51*67e74705SXin Liint f3(CFErrorRef* error) { 52*67e74705SXin Li if (error != 0) *error = 0; // no-warning 53*67e74705SXin Li return 0; 54*67e74705SXin Li} 55*67e74705SXin Li 56*67e74705SXin Li 57