Clang Project

clang_source_code/test/Analysis/delegates.m
1// RUN: %clang_analyze_cc1 -analyzer-checker=core,osx.cocoa.RetainCount -analyzer-store=region -Wno-objc-root-class -verify %s
2// expected-no-diagnostics
3
4
5//===----------------------------------------------------------------------===//
6// The following code is reduced using delta-debugging from
7// Foundation.h (Mac OS X).
8//
9// It includes the basic definitions for the test cases below.
10// Not directly including Foundation.h directly makes this test case 
11// both svelte and portable to non-Mac platforms.
12//===----------------------------------------------------------------------===//
13
14typedef const void * CFTypeRef;
15typedef const struct __CFString * CFStringRef;
16typedef const struct __CFAllocator * CFAllocatorRef;
17extern const CFAllocatorRef kCFAllocatorDefault;
18extern CFTypeRef CFRetain(CFTypeRef cf);
19void CFRelease(CFTypeRef cf);
20typedef const struct __CFDictionary * CFDictionaryRef;
21const void *CFDictionaryGetValue(CFDictionaryRef theDict, const void *key);
22extern CFStringRef CFStringCreateWithFormat(CFAllocatorRef alloc, CFDictionaryRef formatOptions, CFStringRef format, ...);
23typedef signed char BOOL;
24typedef int NSInteger;
25typedef unsigned int NSUInteger;
26typedef struct objc_selector *SEL;
27@class NSString, Protocol;
28extern void NSLog(NSString *format, ...) __attribute__((format(__NSString__, 1, 2)));
29typedef NSInteger NSComparisonResult;
30typedef struct _NSZone NSZone;
31@class NSInvocation, NSMethodSignature, NSCoder, NSString, NSEnumerator;
32@protocol NSObject
33- (BOOL)isEqual:(id)object;
34- (oneway void)release;
35- (Class)class;
36- (id)retain;
37@end
38@protocol NSCopying
39- (id)copyWithZone:(NSZone *)zone;
40@end
41@protocol NSMutableCopying
42- (id)mutableCopyWithZone:(NSZone *)zone;
43@end
44@protocol NSCoding
45- (void)encodeWithCoder:(NSCoder *)aCoder;
46@end
47@interface NSObject <NSObject> {}
48- (id)init;
49+ (id)alloc;
50+ (Class)class;
51- (void)performSelectorOnMainThread:(SEL)aSelector withObject:(id)arg waitUntilDone:(BOOL)wait;
52@end
53extern id NSAllocateObject(Class aClass, NSUInteger extraBytes, NSZone *zone);
54typedef struct {} NSFastEnumerationState;
55@protocol NSFastEnumeration
56- (NSUInteger)countByEnumeratingWithState:(NSFastEnumerationState *)state objects:(id *)stackbuf count:(NSUInteger)len;
57@end
58@class NSString;
59typedef struct _NSRange {} NSRange;
60@interface NSArray : NSObject <NSCopying, NSMutableCopying, NSCoding, NSFastEnumeration>
61- (NSUInteger)count;
62@end
63@interface NSMutableArray : NSArray
64- (void)addObject:(id)anObject;
65- (id)initWithCapacity:(NSUInteger)numItems;
66@end
67typedef unsigned short unichar;
68@class NSData, NSArray, NSDictionary, NSCharacterSet, NSData, NSURL, NSError, NSLocale;
69typedef NSUInteger NSStringCompareOptions;
70@interface NSString : NSObject <NSCopying, NSMutableCopying, NSCoding>    - (NSUInteger)length;
71- (NSComparisonResult)compare:(NSString *)string;
72- (NSComparisonResult)compare:(NSString *)string options:(NSStringCompareOptions)mask;
73- (NSComparisonResult)compare:(NSString *)string options:(NSStringCompareOptions)mask range:(NSRange)compareRange;
74- (NSComparisonResult)compare:(NSString *)string options:(NSStringCompareOptions)mask range:(NSRange)compareRange locale:(id)locale;
75- (NSComparisonResult)caseInsensitiveCompare:(NSString *)string;
76- (NSArray *)componentsSeparatedByCharactersInSet:(NSCharacterSet *)separator;
77@end
78@interface NSSimpleCString : NSString {} @end
79@interface NSConstantString : NSSimpleCString @end
80extern void *_NSConstantStringClassReference;
81
82//===----------------------------------------------------------------------===//
83// Test cases.
84//===----------------------------------------------------------------------===//
85
86//  <rdar://problem/6062730>
87// The analyzer doesn't perform any inter-procedural analysis, so delegates
88// involving [NSObject performSelector...] tend to lead to false positives.
89// For now the analyzer just stops tracking the reference count of the
90// receiver until we have better support for delegates.
91
92@interface test_6062730 : NSObject
93+ (void)postNotification:(NSString *)str;
94- (void)foo;
95- (void)bar;
96@end
97
98@implementation test_6062730
99- (void) foo {
100  NSString *str = [[NSString alloc] init]; // no-warning
101  [test_6062730 performSelectorOnMainThread:@selector(postNotification:) withObject:str waitUntilDone:1];
102}
103
104- (void) bar {
105  NSString *str = [[NSString alloc] init]; // no-warning
106  [[self class] performSelectorOnMainThread:@selector(postNotification:) withObject:str waitUntilDone:1];
107}
108
109+ (void) postNotification:(NSString *)str {
110  [str release]; // no-warning
111}
112@end
113
114
115@interface ObjectThatRequiresDelegate : NSObject
116- (id)initWithDelegate:(id)delegate;
117- (id)initWithNumber:(int)num delegate:(id)delegate;
118@end
119
120
121@interface DelegateRequirerTest
122@end
123@implementation DelegateRequirerTest
124
125- (void)test {
126  (void)[[ObjectThatRequiresDelegate alloc] initWithDelegate:self];
127  (void)[[ObjectThatRequiresDelegate alloc] initWithNumber:0 delegate:self];
128  // no leak warnings -- these objects could be released in callback methods
129}
130
131@end
132
CodeThinker, Enjoy your reading code