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