1// RUN: %clang_analyze_cc1 -analyzer-checker=core,osx -fblocks -verify -Wno-objc-root-class %s
2typedef const void *CFTypeRef;
3enum { kCFNumberSInt8Type = 1, kCFNumberSInt16Type = 2,
4       kCFNumberSInt32Type = 3, kCFNumberSInt64Type = 4,
5       kCFNumberFloat32Type = 5, kCFNumberFloat64Type = 6,
6       kCFNumberCharType = 7, kCFNumberShortType = 8,
7       kCFNumberIntType = 9, kCFNumberLongType = 10,
8       kCFNumberLongLongType = 11, kCFNumberFloatType = 12,
9       kCFNumberDoubleType = 13, kCFNumberCFIndexType = 14,
10       kCFNumberNSIntegerType = 15, kCFNumberCGFloatType = 16,
11       kCFNumberMaxType = 16 };
12typedef const struct __CFAllocator * CFAllocatorRef;
13typedef signed long CFIndex;
14typedef CFIndex CFNumberType;
15typedef const struct __CFNumber * CFNumberRef;
16extern CFNumberRef CFNumberCreate(CFAllocatorRef allocator, CFNumberType theType, const void *valuePtr);
17
18void foo(CFAllocatorRef allocator) {
19  int width = 0;
20  int height = 0;
21  CFTypeRef* values = (CFTypeRef[]){
22    CFNumberCreate(allocator, kCFNumberSInt32Type, &width), //expected-warning{{Potential leak of an object of type 'CFNumberRef'}}
23    CFNumberCreate(allocator, kCFNumberSInt32Type, &height), //expected-warning{{Potential leak of an object of type 'CFNumberRef'}}
24  };
25}
26