CheckNSError.m revision 63ffb78cf4bd0aa8fa149740637cea6c1e08b969 
1// RUN: clang -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