1cdc3a89d5de90b2299c56f4a46c3de590c5184d1Ted Kremenek// RUN: %clang_cc1 -analyze -analyzer-checker=core,osx.cocoa.RetainCount,alpha.core -analyzer-store=region -analyzer-constraints=range -verify %s 28e8fb3be5bd78f0564444eca02b404566a5f3b5dAndy Gibbs// expected-no-diagnostics 366e855fb8ae1da1eccf24fa6c7ddfec4f1b5fcc5Ted Kremenek 466e855fb8ae1da1eccf24fa6c7ddfec4f1b5fcc5Ted Kremenektypedef unsigned char Boolean; 566e855fb8ae1da1eccf24fa6c7ddfec4f1b5fcc5Ted Kremenektypedef signed long CFIndex; 666e855fb8ae1da1eccf24fa6c7ddfec4f1b5fcc5Ted Kremenektypedef const void * CFTypeRef; 766e855fb8ae1da1eccf24fa6c7ddfec4f1b5fcc5Ted Kremenektypedef const struct __CFString * CFStringRef; 866e855fb8ae1da1eccf24fa6c7ddfec4f1b5fcc5Ted Kremenektypedef const struct __CFAllocator * CFAllocatorRef; 966e855fb8ae1da1eccf24fa6c7ddfec4f1b5fcc5Ted Kremenekextern const CFAllocatorRef kCFAllocatorDefault; 1066e855fb8ae1da1eccf24fa6c7ddfec4f1b5fcc5Ted Kremenektypedef struct {} CFAllocatorContext; 1166e855fb8ae1da1eccf24fa6c7ddfec4f1b5fcc5Ted Kremenekextern void CFRelease(CFTypeRef cf); 1266e855fb8ae1da1eccf24fa6c7ddfec4f1b5fcc5Ted Kremenektypedef struct {} 1366e855fb8ae1da1eccf24fa6c7ddfec4f1b5fcc5Ted KremenekCFDictionaryKeyCallBacks; 1466e855fb8ae1da1eccf24fa6c7ddfec4f1b5fcc5Ted Kremenekextern const CFDictionaryKeyCallBacks kCFTypeDictionaryKeyCallBacks; 1566e855fb8ae1da1eccf24fa6c7ddfec4f1b5fcc5Ted Kremenektypedef struct {} 1666e855fb8ae1da1eccf24fa6c7ddfec4f1b5fcc5Ted KremenekCFDictionaryValueCallBacks; 1766e855fb8ae1da1eccf24fa6c7ddfec4f1b5fcc5Ted Kremenekextern const CFDictionaryValueCallBacks kCFTypeDictionaryValueCallBacks; 1866e855fb8ae1da1eccf24fa6c7ddfec4f1b5fcc5Ted Kremenektypedef const struct __CFDictionary * CFDictionaryRef; 1966e855fb8ae1da1eccf24fa6c7ddfec4f1b5fcc5Ted Kremenekextern CFDictionaryRef CFDictionaryCreate(CFAllocatorRef allocator, const void **keys, const void **values, CFIndex numValues, const CFDictionaryKeyCallBacks *keyCallBacks, const CFDictionaryValueCallBacks *valueCallBacks); 2066e855fb8ae1da1eccf24fa6c7ddfec4f1b5fcc5Ted Kremenekenum { kCFNumberSInt8Type = 1, kCFNumberSInt16Type = 2, kCFNumberSInt32Type = 3, kCFNumberSInt64Type = 4, kCFNumberFloat32Type = 5, kCFNumberFloat64Type = 6, kCFNumberCharType = 7, kCFNumberShortType = 8, kCFNumberIntType = 9, kCFNumberLongType = 10, kCFNumberLongLongType = 11, kCFNumberFloatType = 12, kCFNumberDoubleType = 13, kCFNumberCFIndexType = 14, kCFNumberNSIntegerType = 15, kCFNumberCGFloatType = 16, kCFNumberMaxType = 16 }; 2166e855fb8ae1da1eccf24fa6c7ddfec4f1b5fcc5Ted Kremenektypedef CFIndex CFNumberType; 2266e855fb8ae1da1eccf24fa6c7ddfec4f1b5fcc5Ted Kremenektypedef const struct __CFNumber * CFNumberRef; 2366e855fb8ae1da1eccf24fa6c7ddfec4f1b5fcc5Ted Kremenekextern CFNumberRef CFNumberCreate(CFAllocatorRef allocator, CFNumberType theType, const void *valuePtr); 2466e855fb8ae1da1eccf24fa6c7ddfec4f1b5fcc5Ted Kremenektypedef struct __CFNotificationCenter * CFNotificationCenterRef; 2566e855fb8ae1da1eccf24fa6c7ddfec4f1b5fcc5Ted Kremenekextern CFNotificationCenterRef CFNotificationCenterGetDistributedCenter(void); 2666e855fb8ae1da1eccf24fa6c7ddfec4f1b5fcc5Ted Kremenekextern void CFNotificationCenterPostNotification(CFNotificationCenterRef center, CFStringRef name, const void *object, CFDictionaryRef userInfo, Boolean deliverImmediately); 2766e855fb8ae1da1eccf24fa6c7ddfec4f1b5fcc5Ted Kremenek 2866e855fb8ae1da1eccf24fa6c7ddfec4f1b5fcc5Ted Kremenek// This test case was reported in PR2519 as a false positive (_value was 2966e855fb8ae1da1eccf24fa6c7ddfec4f1b5fcc5Ted Kremenek// reported as being leaked). 3066e855fb8ae1da1eccf24fa6c7ddfec4f1b5fcc5Ted Kremenek 3166e855fb8ae1da1eccf24fa6c7ddfec4f1b5fcc5Ted Kremenekint main(int argc, char **argv) { 3266e855fb8ae1da1eccf24fa6c7ddfec4f1b5fcc5Ted Kremenek CFStringRef _key = ((CFStringRef) __builtin___CFStringMakeConstantString ("" "Process identifier" "")); 3366e855fb8ae1da1eccf24fa6c7ddfec4f1b5fcc5Ted Kremenek int pid = 42; 3466e855fb8ae1da1eccf24fa6c7ddfec4f1b5fcc5Ted Kremenek 3566e855fb8ae1da1eccf24fa6c7ddfec4f1b5fcc5Ted Kremenek CFNumberRef _value = CFNumberCreate(kCFAllocatorDefault, kCFNumberIntType, &pid); 3666e855fb8ae1da1eccf24fa6c7ddfec4f1b5fcc5Ted Kremenek CFDictionaryRef userInfo = CFDictionaryCreate(kCFAllocatorDefault, (const void **)&_key, (const void **)&_value, 1, &kCFTypeDictionaryKeyCallBacks, &kCFTypeDictionaryValueCallBacks); 3766e855fb8ae1da1eccf24fa6c7ddfec4f1b5fcc5Ted Kremenek CFRelease(_value); // no-warning 3866e855fb8ae1da1eccf24fa6c7ddfec4f1b5fcc5Ted Kremenek CFNotificationCenterPostNotification(CFNotificationCenterGetDistributedCenter(), 3966e855fb8ae1da1eccf24fa6c7ddfec4f1b5fcc5Ted Kremenek ((CFStringRef) __builtin___CFStringMakeConstantString ("" "GrowlPreferencesChanged" "")), 4066e855fb8ae1da1eccf24fa6c7ddfec4f1b5fcc5Ted Kremenek ((CFStringRef) __builtin___CFStringMakeConstantString ("" "GrowlUserDefaults" "")), 4166e855fb8ae1da1eccf24fa6c7ddfec4f1b5fcc5Ted Kremenek userInfo, 0); 4266e855fb8ae1da1eccf24fa6c7ddfec4f1b5fcc5Ted Kremenek CFRelease(userInfo); // no-warning 4366e855fb8ae1da1eccf24fa6c7ddfec4f1b5fcc5Ted Kremenek 4466e855fb8ae1da1eccf24fa6c7ddfec4f1b5fcc5Ted Kremenek return 0; 4566e855fb8ae1da1eccf24fa6c7ddfec4f1b5fcc5Ted Kremenek} 4666e855fb8ae1da1eccf24fa6c7ddfec4f1b5fcc5Ted Kremenek 47