CFDateGC.m revision 7a1018148233afb3a580fdeb13567c946693bc38 
1// RUN: clang -analyze -checker-cfref -verify -fobjc-gc %s &&
2// RUN: clang -analyze -checker-cfref -verify -fobjc-gc -disable-free %s &&
3// RUN: clang -analyze -checker-cfref -analyzer-store-region -verify -fobjc-gc %s
4
5//===----------------------------------------------------------------------===//
6// The following code is reduced using delta-debugging from
7// Foundation.h and CoreFoundation.h (Mac OS X).
8//
9// It includes the basic definitions for the test cases below.
10// Not directly including [Core]Foundation.h directly makes this test case 
11// both svelte and portable to non-Mac platforms.
12//===----------------------------------------------------------------------===//
13
14typedef const void * CFTypeRef;
15void CFRelease(CFTypeRef cf);
16CFTypeRef CFRetain(CFTypeRef cf);
17CFTypeRef CFMakeCollectable(CFTypeRef cf);
18typedef const struct __CFAllocator * CFAllocatorRef;
19typedef double CFTimeInterval;
20typedef CFTimeInterval CFAbsoluteTime;
21typedef const struct __CFDate * CFDateRef;
22extern CFDateRef CFDateCreate(CFAllocatorRef allocator, CFAbsoluteTime at);
23extern CFAbsoluteTime CFDateGetAbsoluteTime(CFDateRef theDate);
24typedef struct objc_object {} *id;
25typedef signed char BOOL;
26static __inline__ __attribute__((always_inline)) id NSMakeCollectable(CFTypeRef cf) {}
27@protocol NSObject  - (BOOL)isEqual:(id)object;
28- (oneway void)release;
29- (id)retain;
30@end
31@class NSArray;
32
33//===----------------------------------------------------------------------===//
34// Test cases.
35//===----------------------------------------------------------------------===//
36
37CFAbsoluteTime f1_use_after_release() {
38  CFAbsoluteTime t = CFAbsoluteTimeGetCurrent();
39  CFDateRef date = CFDateCreate(0, t);
40  CFRetain(date);
41  [NSMakeCollectable(date) release];
42  CFDateGetAbsoluteTime(date); // no-warning
43  CFRelease(date);
44  t = CFDateGetAbsoluteTime(date);   // expected-warning{{Reference-counted object is used after it is released.}}
45  return t;
46}
47
48// The following two test cases verifies that CFMakeCollectable is a no-op
49// in non-GC mode and a "release" in GC mode.
50CFAbsoluteTime f2_use_after_release() {
51  CFAbsoluteTime t = CFAbsoluteTimeGetCurrent();
52  CFDateRef date = CFDateCreate(0, t);
53  CFRetain(date);
54  [(id) CFMakeCollectable(date) release];
55  CFDateGetAbsoluteTime(date); // no-warning
56  CFRelease(date);
57  t = CFDateGetAbsoluteTime(date);   // expected-warning{{Reference-counted object is used after it is released.}}
58  return t;
59}
60
61CFAbsoluteTime f2_noleak() {
62  CFAbsoluteTime t = CFAbsoluteTimeGetCurrent();
63  CFDateRef date = CFDateCreate(0, t);
64  CFRetain(date);
65  [(id) CFMakeCollectable(date) release];
66  CFDateGetAbsoluteTime(date); // no-warning
67  t = CFDateGetAbsoluteTime(date);  // no-warning
68  CFRelease(date); // no-warning
69  return t;
70}
71
72void f3_leak_with_gc() {
73  CFDateRef date = CFDateCreate(0, CFAbsoluteTimeGetCurrent()); // expected-warning 2 {{leak}}
74  [[(id) date retain] release];
75}
76
77// The following test case verifies that we "stop tracking" a retained object
78// when it is passed as an argument to an implicitly defined function.
79CFAbsoluteTime f4() {
80  CFAbsoluteTime t = CFAbsoluteTimeGetCurrent();
81  CFDateRef date = CFDateCreate(0, t);
82  CFRetain(date);
83  some_implicitly_defined_function_stop_tracking(date); // no-warning
84  return t;
85}
86