retain-release-region-store.m revision f27893a1a17dbde417dc7bccbbd25992c33215f9 
1// RUN: clang -analyze -checker-cfref -analyzer-store=region -verify %s
2
3//===----------------------------------------------------------------------===//
4// The following code is reduced using delta-debugging from
5// Foundation.h (Mac OS X).
6//
7// It includes the basic definitions for the test cases below.
8// Not including Foundation.h directly makes this test case both svelte and
9// portable to non-Mac platforms.
10//===----------------------------------------------------------------------===//
11
12typedef unsigned int __darwin_natural_t;
13typedef unsigned long UInt32;
14typedef signed long CFIndex;
15typedef const void * CFTypeRef;
16typedef const struct __CFString * CFStringRef;
17typedef const struct __CFAllocator * CFAllocatorRef;
18extern const CFAllocatorRef kCFAllocatorDefault;
19extern CFTypeRef CFRetain(CFTypeRef cf);
20extern void CFRelease(CFTypeRef cf);
21typedef struct {
22}
23CFArrayCallBacks;
24extern const CFArrayCallBacks kCFTypeArrayCallBacks;
25typedef const struct __CFArray * CFArrayRef;
26typedef struct __CFArray * CFMutableArrayRef;
27extern CFMutableArrayRef CFArrayCreateMutable(CFAllocatorRef allocator, CFIndex capacity, const CFArrayCallBacks *callBacks);
28extern const void *CFArrayGetValueAtIndex(CFArrayRef theArray, CFIndex idx);
29typedef const struct __CFDictionary * CFDictionaryRef;
30typedef UInt32 CFStringEncoding;
31enum {
32kCFStringEncodingMacRoman = 0,     kCFStringEncodingWindowsLatin1 = 0x0500,     kCFStringEncodingISOLatin1 = 0x0201,     kCFStringEncodingNextStepLatin = 0x0B01,     kCFStringEncodingASCII = 0x0600,     kCFStringEncodingUnicode = 0x0100,     kCFStringEncodingUTF8 = 0x08000100,     kCFStringEncodingNonLossyASCII = 0x0BFF      ,     kCFStringEncodingUTF16 = 0x0100,     kCFStringEncodingUTF16BE = 0x10000100,     kCFStringEncodingUTF16LE = 0x14000100,      kCFStringEncodingUTF32 = 0x0c000100,     kCFStringEncodingUTF32BE = 0x18000100,     kCFStringEncodingUTF32LE = 0x1c000100  };
33extern CFStringRef CFStringCreateWithCString(CFAllocatorRef alloc, const char *cStr, CFStringEncoding encoding);
34typedef double CFTimeInterval;
35typedef CFTimeInterval CFAbsoluteTime;
36typedef const struct __CFDate * CFDateRef;
37extern CFDateRef CFDateCreate(CFAllocatorRef allocator, CFAbsoluteTime at);
38extern CFAbsoluteTime CFDateGetAbsoluteTime(CFDateRef theDate);
39typedef __darwin_natural_t natural_t;
40typedef natural_t mach_port_name_t;
41typedef mach_port_name_t mach_port_t;
42typedef signed char BOOL;
43typedef struct _NSZone NSZone;
44@class NSInvocation, NSMethodSignature, NSCoder, NSString, NSEnumerator;
45@protocol NSObject  - (BOOL)isEqual:(id)object;
46- (id)retain;
47- (oneway void)release;
48@end  @protocol NSCopying  - (id)copyWithZone:(NSZone *)zone;
49@end  @protocol NSCoding  - (void)encodeWithCoder:(NSCoder *)aCoder;
50@end    @interface NSObject <NSObject> {
51}
52@end  typedef float CGFloat;
53typedef double NSTimeInterval;
54@interface NSDate : NSObject <NSCopying, NSCoding>  - (NSTimeInterval)timeIntervalSinceReferenceDate;
55@end      enum {
56NSObjCNoType = 0,     NSObjCVoidType = 'v',     NSObjCCharType = 'c',     NSObjCShortType = 's',     NSObjCLongType = 'l',     NSObjCLonglongType = 'q',     NSObjCFloatType = 'f',     NSObjCDoubleType = 'd',      NSObjCBoolType = 'B',      NSObjCSelectorType = ':',     NSObjCObjectType = '@',     NSObjCStructType = '{',     NSObjCPointerType = '^',     NSObjCStringType = '*',     NSObjCArrayType = '[',     NSObjCUnionType = '(',     NSObjCBitfield = 'b' }
57__attribute__((deprecated));
58typedef int kern_return_t;
59typedef kern_return_t mach_error_t;
60typedef mach_port_t io_object_t;
61typedef io_object_t io_service_t;
62typedef struct __DASession * DASessionRef;
63extern DASessionRef DASessionCreate( CFAllocatorRef allocator );
64typedef struct __DADisk * DADiskRef;
65extern DADiskRef DADiskCreateFromBSDName( CFAllocatorRef allocator, DASessionRef session, const char * name );
66extern DADiskRef DADiskCreateFromIOMedia( CFAllocatorRef allocator, DASessionRef session, io_service_t media );
67extern CFDictionaryRef DADiskCopyDescription( DADiskRef disk );
68extern DADiskRef DADiskCopyWholeDisk( DADiskRef disk );
69@interface NSAppleEventManager : NSObject {
70}
71@end enum {
72kDAReturnSuccess = 0,     kDAReturnError = (((0x3e)&0x3f)<<26) | (((0x368)&0xfff)<<14) | 0x01,     kDAReturnBusy = (((0x3e)&0x3f)<<26) | (((0x368)&0xfff)<<14) | 0x02,     kDAReturnBadArgument = (((0x3e)&0x3f)<<26) | (((0x368)&0xfff)<<14) | 0x03,     kDAReturnExclusiveAccess = (((0x3e)&0x3f)<<26) | (((0x368)&0xfff)<<14) | 0x04,     kDAReturnNoResources = (((0x3e)&0x3f)<<26) | (((0x368)&0xfff)<<14) | 0x05,     kDAReturnNotFound = (((0x3e)&0x3f)<<26) | (((0x368)&0xfff)<<14) | 0x06,     kDAReturnNotMounted = (((0x3e)&0x3f)<<26) | (((0x368)&0xfff)<<14) | 0x07,     kDAReturnNotPermitted = (((0x3e)&0x3f)<<26) | (((0x368)&0xfff)<<14) | 0x08,     kDAReturnNotPrivileged = (((0x3e)&0x3f)<<26) | (((0x368)&0xfff)<<14) | 0x09,     kDAReturnNotReady = (((0x3e)&0x3f)<<26) | (((0x368)&0xfff)<<14) | 0x0A,     kDAReturnNotWritable = (((0x3e)&0x3f)<<26) | (((0x368)&0xfff)<<14) | 0x0B,     kDAReturnUnsupported = (((0x3e)&0x3f)<<26) | (((0x368)&0xfff)<<14) | 0x0C };
73typedef mach_error_t DAReturn;
74typedef const struct __DADissenter * DADissenterRef;
75extern DADissenterRef DADissenterCreate( CFAllocatorRef allocator, DAReturn status, CFStringRef string );
76
77//===----------------------------------------------------------------------===//
78// Test cases.
79//===----------------------------------------------------------------------===//
80
81// Test to see if we *issue* an error when we store the pointer
82// to a struct.  This differs from basic store.
83
84struct foo {
85  NSDate* f;
86};
87
88CFAbsoluteTime f4() {
89  struct foo x;
90  
91  CFAbsoluteTime t = CFAbsoluteTimeGetCurrent();
92  CFDateRef date = CFDateCreate(0, t);  
93  [((NSDate*) date) retain];
94  CFRelease(date);
95  CFDateGetAbsoluteTime(date); // no-warning
96  x.f = (NSDate*) date;  
97  [((NSDate*) date) release];
98  t = CFDateGetAbsoluteTime(date);   // expected-warning{{Reference-counted object is used after it is released.}}
99  return t;
100}
101
102// Test that assigning to an self.ivar loses track of an object.
103// This is a temporary hack to reduce false positives.
104@interface Test3 : NSObject {
105  id myObj;
106}
107- (void)test_self_assign_ivar;
108@end
109
110@implementation Test3
111- (void)test_self_assign_ivar {
112  CFAbsoluteTime t = CFAbsoluteTimeGetCurrent();
113  CFDateRef date = CFDateCreate(0, t); // no-warning
114  myObj = (id) date;
115}
116@end
117
118
119