117a38e2636a8b1ce473fc6504c4b16cb09db29f4Jordy Rose// RUN: %clang_cc1 -analyze -analyzer-checker=core,osx.coreFoundation.CFNumber,osx.cocoa.RetainCount -analyzer-store=region -analyzer-constraints=range -verify -triple x86_64-apple-darwin9 %s 204bc87683acacce119967dfa5f7c35b4ecef012aTed Kremenek 304bc87683acacce119967dfa5f7c35b4ecef012aTed Kremenektypedef signed long CFIndex; 404bc87683acacce119967dfa5f7c35b4ecef012aTed Kremenektypedef const struct __CFAllocator * CFAllocatorRef; 504bc87683acacce119967dfa5f7c35b4ecef012aTed Kremenekenum { kCFNumberSInt8Type = 1, kCFNumberSInt16Type = 2, 604bc87683acacce119967dfa5f7c35b4ecef012aTed Kremenek kCFNumberSInt32Type = 3, kCFNumberSInt64Type = 4, 704bc87683acacce119967dfa5f7c35b4ecef012aTed Kremenek kCFNumberFloat32Type = 5, kCFNumberFloat64Type = 6, 804bc87683acacce119967dfa5f7c35b4ecef012aTed Kremenek kCFNumberCharType = 7, kCFNumberShortType = 8, 904bc87683acacce119967dfa5f7c35b4ecef012aTed Kremenek kCFNumberIntType = 9, kCFNumberLongType = 10, 1004bc87683acacce119967dfa5f7c35b4ecef012aTed Kremenek kCFNumberLongLongType = 11, kCFNumberFloatType = 12, 1104bc87683acacce119967dfa5f7c35b4ecef012aTed Kremenek kCFNumberDoubleType = 13, kCFNumberCFIndexType = 14, 1204bc87683acacce119967dfa5f7c35b4ecef012aTed Kremenek kCFNumberNSIntegerType = 15, kCFNumberCGFloatType = 16, 1304bc87683acacce119967dfa5f7c35b4ecef012aTed Kremenek kCFNumberMaxType = 16 }; 1404bc87683acacce119967dfa5f7c35b4ecef012aTed Kremenektypedef CFIndex CFNumberType; 1504bc87683acacce119967dfa5f7c35b4ecef012aTed Kremenektypedef const struct __CFNumber * CFNumberRef; 1604bc87683acacce119967dfa5f7c35b4ecef012aTed Kremenekextern CFNumberRef CFNumberCreate(CFAllocatorRef allocator, CFNumberType theType, const void *valuePtr); 1704bc87683acacce119967dfa5f7c35b4ecef012aTed Kremenek 18d24d25533b021ce0b68213b25754284121b52995Daniel DunbarCFNumberRef f1(unsigned char x) { 19c4bac8e376b98d633bb00ee5f510d5e58449753cTed Kremenek 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}} 2004bc87683acacce119967dfa5f7c35b4ecef012aTed Kremenek} 2104bc87683acacce119967dfa5f7c35b4ecef012aTed Kremenek 22d368d71169cd87ef8ff95388be80a044fa35112fTed Kremenek__attribute__((cf_returns_retained)) CFNumberRef f2(unsigned short x) { 23c4bac8e376b98d633bb00ee5f510d5e58449753cTed Kremenek 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}} 2404bc87683acacce119967dfa5f7c35b4ecef012aTed Kremenek} 2591985ae8c8eae9f489ce0d08360ebf2a3ca5da47Ted Kremenek 26d1e015eb441910937c74d489970322a3a3491a67Ted Kremenek// test that the attribute overrides the naming convention. 27d1e015eb441910937c74d489970322a3a3491a67Ted Kremenek__attribute__((cf_returns_not_retained)) CFNumberRef CreateNum(unsigned char x) { 28d1e015eb441910937c74d489970322a3a3491a67Ted Kremenek return CFNumberCreate(0, kCFNumberSInt8Type, &x); // expected-warning{{leak}} 29d1e015eb441910937c74d489970322a3a3491a67Ted Kremenek} 30d1e015eb441910937c74d489970322a3a3491a67Ted Kremenek 3191985ae8c8eae9f489ce0d08360ebf2a3ca5da47Ted KremenekCFNumberRef f3(unsigned i) { 32c4bac8e376b98d633bb00ee5f510d5e58449753cTed Kremenek return CFNumberCreate(0, kCFNumberLongType, &i); // expected-warning{{A 32 bit integer is used to initialize a CFNumber object that represents a 64 bit integer}} 33d24d25533b021ce0b68213b25754284121b52995Daniel Dunbar} 34