1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
|
// RUN: %clang_analyze_cc1 -fobjc-arc -triple x86_64-darwin\
// RUN: -analyzer-checker=core,osx.cocoa.RunLoopAutoreleaseLeak -verify %s
// RUN: %clang_analyze_cc1 -DEXTRA=1 -DAP1=1 -fobjc-arc -triple x86_64-darwin\
// RUN: -analyzer-checker=core,osx.cocoa.RunLoopAutoreleaseLeak -verify %s
// RUN: %clang_analyze_cc1 -DEXTRA=1 -DAP2=1 -fobjc-arc -triple x86_64-darwin\
// RUN: -analyzer-checker=core,osx.cocoa.RunLoopAutoreleaseLeak -verify %s
// RUN: %clang_analyze_cc1 -DEXTRA=1 -DAP3=1 -fobjc-arc -triple x86_64-darwin\
// RUN: -analyzer-checker=core,osx.cocoa.RunLoopAutoreleaseLeak -verify %s
// RUN: %clang_analyze_cc1 -DEXTRA=1 -DAP4=1 -fobjc-arc -triple x86_64-darwin\
// RUN: -analyzer-checker=core,osx.cocoa.RunLoopAutoreleaseLeak -verify %s
// RUN: %clang_analyze_cc1 -DEXTRA=1 -DAP5=1 -fobjc-arc -triple x86_64-darwin\
// RUN: -analyzer-checker=core,osx.cocoa.RunLoopAutoreleaseLeak -verify %s
#include "../Inputs/system-header-simulator-for-objc-dealloc.h"
#ifndef EXTRA
void just_runloop(void) { // No warning: no statements in between
@autoreleasepool {
[[NSRunLoop mainRunLoop] run]; // no-warning
}
}
void just_xpcmain(void) { // No warning: no statements in between
@autoreleasepool {
xpc_main(); // no-warning
}
}
void runloop_init_before(void) { // Warning: object created before the loop.
@autoreleasepool {
NSObject *object = [[NSObject alloc] init]; // expected-warning{{Temporary objects allocated in the autorelease pool followed by the launch of main run loop may never get released; consider moving them to a separate autorelease pool}}
(void) object;
[[NSRunLoop mainRunLoop] run];
}
}
void runloop_init_before_separate_pool(void) { // No warning: separate autorelease pool.
@autoreleasepool {
NSObject *object;
@autoreleasepool {
object = [[NSObject alloc] init]; // no-warning
}
(void) object;
[[NSRunLoop mainRunLoop] run];
}
}
void xpcmain_init_before(void) { // Warning: object created before the loop.
@autoreleasepool {
NSObject *object = [[NSObject alloc] init]; // expected-warning{{Temporary objects allocated in the autorelease pool followed by the launch of xpc_main may never get released; consider moving them to a separate autorelease pool}}
(void) object;
xpc_main();
}
}
void runloop_init_before_two_objects(void) { // Warning: object created before the loop.
@autoreleasepool {
NSObject *object = [[NSObject alloc] init]; // expected-warning{{Temporary objects allocated in the autorelease pool followed by the launch of main run loop may never get released; consider moving them to a separate autorelease pool}}
NSObject *object2 = [[NSObject alloc] init]; // no-warning, warning on the first one is enough.
(void) object;
(void) object2;
[[NSRunLoop mainRunLoop] run];
}
}
void runloop_no_autoreleasepool(void) {
NSObject *object = [[NSObject alloc] init]; // no-warning
(void)object;
[[NSRunLoop mainRunLoop] run];
}
void runloop_init_after(void) { // No warning: objects created after the loop
@autoreleasepool {
[[NSRunLoop mainRunLoop] run];
NSObject *object = [[NSObject alloc] init]; // no-warning
(void) object;
}
}
void no_crash_on_empty_children(void) {
@autoreleasepool {
for (;;) {}
NSObject *object = [[NSObject alloc] init]; // expected-warning{{Temporary objects allocated in the autorelease pool followed by the launch of main run loop may never get released; consider moving them to a separate autorelease pool}}
[[NSRunLoop mainRunLoop] run];
(void) object;
}
}
#endif
#ifdef AP1
int main(void) {
NSObject *object = [[NSObject alloc] init]; // expected-warning{{Temporary objects allocated in the autorelease pool of last resort followed by the launch of main run loop may never get released; consider moving them to a separate autorelease pool}}
(void) object;
[[NSRunLoop mainRunLoop] run];
return 0;
}
#endif
#ifdef AP2
// expected-no-diagnostics
int main(void) {
NSObject *object = [[NSObject alloc] init]; // no-warning
(void) object;
@autoreleasepool {
[[NSRunLoop mainRunLoop] run];
}
return 0;
}
#endif
#ifdef AP3
// expected-no-diagnostics
int main(void) {
[[NSRunLoop mainRunLoop] run];
NSObject *object = [[NSObject alloc] init]; // no-warning
(void) object;
return 0;
}
#endif
#ifdef AP4
int main(void) {
NSObject *object = [[NSObject alloc] init]; // expected-warning{{Temporary objects allocated in the autorelease pool of last resort followed by the launch of xpc_main may never get released; consider moving them to a separate autorelease pool}}
(void) object;
xpc_main();
return 0;
}
#endif
#ifdef AP5
@class NSString;
@class NSConstantString;
#define CF_BRIDGED_TYPE(T) __attribute__((objc_bridge(T)))
typedef const CF_BRIDGED_TYPE(id) void * CFTypeRef;
typedef const struct CF_BRIDGED_TYPE(NSString) __CFString * CFStringRef;
typedef enum { WARNING } Level;
id do_log(Level, const char *);
#define log(level, msg) __extension__({ (do_log(level, msg)); })
@interface I
- foo;
@end
CFStringRef processString(const __NSConstantString *, void *);
#define CFSTR __builtin___CFStringMakeConstantString
int main(void) {
I *i;
@autoreleasepool {
NSString *s1 = (__bridge_transfer NSString *)processString(0, 0);
NSString *s2 = (__bridge_transfer NSString *)processString((CFSTR("")), ((void *)0));
log(WARNING, "Hello world!");
}
[[NSRunLoop mainRunLoop] run];
[i foo]; // no-crash // expected-warning{{Temporary objects allocated in the autorelease pool of last resort followed by the launch of main run loop may never get released; consider moving them to a separate autorelease pool}}
}
#endif
|
