CFNumber.c revision be1fe1eb12a1cb91c8e3a9fcc2db4dfe989def6c
1// RUN: clang -analyze -checker-cfref -analyzer-store=basic -verify -triple x86_64-apple-darwin9 %s && 2// RUN: clang -analyze -checker-cfref -analyzer-store=basic -verify -triple x86_64-apple-darwin9 -analyzer-constraints=range %s && 3// RUN: clang -analyze -checker-cfref -analyzer-store=region -verify -triple x86_64-apple-darwin9 %s 4 5typedef signed long CFIndex; 6typedef const struct __CFAllocator * CFAllocatorRef; 7enum { kCFNumberSInt8Type = 1, kCFNumberSInt16Type = 2, 8 kCFNumberSInt32Type = 3, kCFNumberSInt64Type = 4, 9 kCFNumberFloat32Type = 5, kCFNumberFloat64Type = 6, 10 kCFNumberCharType = 7, kCFNumberShortType = 8, 11 kCFNumberIntType = 9, kCFNumberLongType = 10, 12 kCFNumberLongLongType = 11, kCFNumberFloatType = 12, 13 kCFNumberDoubleType = 13, kCFNumberCFIndexType = 14, 14 kCFNumberNSIntegerType = 15, kCFNumberCGFloatType = 16, 15 kCFNumberMaxType = 16 }; 16typedef CFIndex CFNumberType; 17typedef const struct __CFNumber * CFNumberRef; 18extern CFNumberRef CFNumberCreate(CFAllocatorRef allocator, CFNumberType theType, const void *valuePtr); 19 20CFNumberRef f1(unsigned char x) { 21 return CFNumberCreate(0, kCFNumberSInt16Type, &x); // expected-warning{{An 8 bit integer is used to initialize a CFNumber object that represents a 16 bit integer. 8 bits of the CFNumber value will be garbage.}} 22} 23 24CFNumberRef f2(unsigned short x) { 25 return CFNumberCreate(0, kCFNumberSInt8Type, &x); // expected-warning{{A 16 bit integer is used to initialize a CFNumber object that represents an 8 bit integer. 8 bits of the input integer will be lost.}} 26} 27 28CFNumberRef f3(unsigned i) { 29 return CFNumberCreate(0, kCFNumberLongType, &i); // expected-warning{{A 32 bit integer is used to initialize a CFNumber object that represents a 64 bit integer.}} 30} 31