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