CheckNSError.m revision d427023c334fe03105d9359711a3df4d6f23b344
1// RUN: clang -analyze -checker-cfref -verify %s 2 3typedef signed char BOOL; 4typedef int NSInteger; 5typedef struct _NSZone NSZone; 6@class NSInvocation, NSMethodSignature, NSCoder, NSString, NSEnumerator; 7@protocol NSObject - (BOOL)isEqual:(id)object; @end 8@protocol NSCopying - (id)copyWithZone:(NSZone *)zone; @end 9@protocol NSCoding - (void)encodeWithCoder:(NSCoder *)aCoder; @end 10@interface NSObject <NSObject> {} @end 11@class NSDictionary; 12@interface NSError : NSObject <NSCopying, NSCoding> {} 13+ (id)errorWithDomain:(NSString *)domain code:(NSInteger)code userInfo:(NSDictionary *)dict; 14@end 15extern NSString * const NSXMLParserErrorDomain ; 16 17@interface A 18- (void)myMethodWhichMayFail:(NSError **)error; 19- (BOOL)myMethodWhichMayFail2:(NSError **)error; 20@end 21 22@implementation A 23- (void)myMethodWhichMayFail:(NSError **)error { // expected-warning {{Method accepting NSError** should have a non-void return value to indicate whether or not an error occured.}} 24 *error = [NSError errorWithDomain:@"domain" code:1 userInfo:0]; // expected-warning {{Potential null dereference.}} 25} 26 27- (BOOL)myMethodWhichMayFail2:(NSError **)error { // no-warning 28 if (error) *error = [NSError errorWithDomain:@"domain" code:1 userInfo:0]; // no-warning 29 return 0; 30} 31@end 32 33struct __CFError {}; 34typedef struct __CFError* CFErrorRef; 35 36void foo(CFErrorRef* error) { // expected-warning {{Function accepting CFErrorRef* should have a non-void return value to indicate whether or not an error occured.}} 37 *error = 0; // expected-warning {{Potential null dereference.}} 38} 39 40int bar(CFErrorRef* error) { 41 if (error) *error = 0; 42 return 0; 43} 44