|  | // RUN: %clang_analyze_cc1 -analyzer-checker=osx.coreFoundation.containers.PointerSizedValues -triple x86_64-apple-darwin -verify %s | 
|  | // expected-no-diagnostics | 
|  |  | 
|  | typedef const struct __CFAllocator * CFAllocatorRef; | 
|  | typedef const struct __CFArray * CFArrayRef; | 
|  | typedef const struct __CFDictionary * CFDictionaryRef; | 
|  | typedef const struct __CFSet * CFSetRef; | 
|  |  | 
|  | extern const CFAllocatorRef kCFAllocatorDefault; | 
|  |  | 
|  | // Unexpected declarations for these: | 
|  | CFArrayRef CFArrayCreate(CFAllocatorRef); | 
|  | CFDictionaryRef CFDictionaryCreate(CFAllocatorRef); | 
|  | CFSetRef CFSetCreate(CFAllocatorRef); | 
|  |  | 
|  | void testNoCrash() { | 
|  | (void)CFArrayCreate(kCFAllocatorDefault); | 
|  | (void)CFDictionaryCreate(kCFAllocatorDefault); | 
|  | (void)CFSetCreate(kCFAllocatorDefault); | 
|  | } |