1cdc3a89d5de90b2299c56f4a46c3de590c5184d1Ted Kremenek// RUN: %clang_cc1 -analyze -analyzer-checker=core,alpha.core -analyzer-store=region -analyzer-constraints=range -verify %s 28e8fb3be5bd78f0564444eca02b404566a5f3b5dAndy Gibbs// expected-no-diagnostics 3c083b0dbdb64cb2f3bf0c19a6f3bba72c2a78378Ted Kremenek 4c083b0dbdb64cb2f3bf0c19a6f3bba72c2a78378Ted Kremenek// This test case was reported in <rdar:problem/6080742>. 5c083b0dbdb64cb2f3bf0c19a6f3bba72c2a78378Ted Kremenek// It tests path-sensitivity with respect to '!(cfstring != 0)' (negation of inequality). 6c083b0dbdb64cb2f3bf0c19a6f3bba72c2a78378Ted Kremenek 7c083b0dbdb64cb2f3bf0c19a6f3bba72c2a78378Ted Kremenekint printf(const char *restrict,...); 8c083b0dbdb64cb2f3bf0c19a6f3bba72c2a78378Ted Kremenektypedef unsigned long UInt32; 9c083b0dbdb64cb2f3bf0c19a6f3bba72c2a78378Ted Kremenektypedef signed long SInt32; 10c083b0dbdb64cb2f3bf0c19a6f3bba72c2a78378Ted Kremenektypedef SInt32 OSStatus; 11c083b0dbdb64cb2f3bf0c19a6f3bba72c2a78378Ted Kremenektypedef unsigned char Boolean; 12c083b0dbdb64cb2f3bf0c19a6f3bba72c2a78378Ted Kremenekenum { noErr = 0}; 13c083b0dbdb64cb2f3bf0c19a6f3bba72c2a78378Ted Kremenektypedef const void *CFTypeRef; 14c083b0dbdb64cb2f3bf0c19a6f3bba72c2a78378Ted Kremenektypedef const struct __CFString *CFStringRef; 15c083b0dbdb64cb2f3bf0c19a6f3bba72c2a78378Ted Kremenektypedef const struct __CFAllocator *CFAllocatorRef; 16c083b0dbdb64cb2f3bf0c19a6f3bba72c2a78378Ted Kremenekextern void CFRelease(CFTypeRef cf); 17c083b0dbdb64cb2f3bf0c19a6f3bba72c2a78378Ted Kremenektypedef UInt32 CFStringEncoding; 18c083b0dbdb64cb2f3bf0c19a6f3bba72c2a78378Ted Kremenekenum { kCFStringEncodingMacRoman = 0, kCFStringEncodingWindowsLatin1 = 0x0500, 19c083b0dbdb64cb2f3bf0c19a6f3bba72c2a78378Ted Kremenek kCFStringEncodingISOLatin1 = 0x0201, kCFStringEncodingNextStepLatin = 0x0B01, 20c083b0dbdb64cb2f3bf0c19a6f3bba72c2a78378Ted Kremenek kCFStringEncodingASCII = 0x0600, kCFStringEncodingUnicode = 0x0100, 21c083b0dbdb64cb2f3bf0c19a6f3bba72c2a78378Ted Kremenek kCFStringEncodingUTF8 = 0x08000100, kCFStringEncodingNonLossyASCII = 0x0BFF, 22c083b0dbdb64cb2f3bf0c19a6f3bba72c2a78378Ted Kremenek kCFStringEncodingUTF16 = 0x0100, kCFStringEncodingUTF16BE = 0x10000100, 23c083b0dbdb64cb2f3bf0c19a6f3bba72c2a78378Ted Kremenek kCFStringEncodingUTF16LE = 0x14000100, kCFStringEncodingUTF32 = 0x0c000100, 24c083b0dbdb64cb2f3bf0c19a6f3bba72c2a78378Ted Kremenek kCFStringEncodingUTF32BE = 0x18000100, kCFStringEncodingUTF32LE = 0x1c000100}; 25c083b0dbdb64cb2f3bf0c19a6f3bba72c2a78378Ted Kremenekextern CFStringRef CFStringCreateWithCString(CFAllocatorRef alloc, const char *cStr, CFStringEncoding encoding); 26c083b0dbdb64cb2f3bf0c19a6f3bba72c2a78378Ted Kremenek 27c083b0dbdb64cb2f3bf0c19a6f3bba72c2a78378Ted Kremenekenum { memROZWarn = -99, memROZError = -99, memROZErr = -99, memFullErr = -108, 28c083b0dbdb64cb2f3bf0c19a6f3bba72c2a78378Ted Kremenek nilHandleErr = -109, memWZErr = -111, memPurErr = -112, memAdrErr = -110, 29c083b0dbdb64cb2f3bf0c19a6f3bba72c2a78378Ted Kremenek memAZErr = -113, memPCErr = -114, memBCErr = -115, memSCErr = -116, memLockedErr = -117}; 30c083b0dbdb64cb2f3bf0c19a6f3bba72c2a78378Ted Kremenek 31c083b0dbdb64cb2f3bf0c19a6f3bba72c2a78378Ted Kremenek#define DEBUG1 32c083b0dbdb64cb2f3bf0c19a6f3bba72c2a78378Ted Kremenek 33c083b0dbdb64cb2f3bf0c19a6f3bba72c2a78378Ted Kremenekvoid DebugStop(const char *format,...); 34c083b0dbdb64cb2f3bf0c19a6f3bba72c2a78378Ted Kremenekvoid DebugTraceIf(unsigned int condition, const char *format,...); 35c083b0dbdb64cb2f3bf0c19a6f3bba72c2a78378Ted KremenekBoolean DebugDisplayOSStatusMsg(OSStatus status, const char *statusStr, const char *fileName, unsigned long lineNumber); 36c083b0dbdb64cb2f3bf0c19a6f3bba72c2a78378Ted Kremenek 37c083b0dbdb64cb2f3bf0c19a6f3bba72c2a78378Ted Kremenek#define Assert(condition)if (!(condition)) { DebugStop("Assertion failure: %s [File: %s, Line: %lu]", #condition, __FILE__, __LINE__); } 38c083b0dbdb64cb2f3bf0c19a6f3bba72c2a78378Ted Kremenek#define AssertMsg(condition, message)if (!(condition)) { DebugStop("Assertion failure: %s (%s) [File: %s, Line: %lu]", #condition, message, __FILE__, __LINE__); } 39c083b0dbdb64cb2f3bf0c19a6f3bba72c2a78378Ted Kremenek#define Require(condition)if (!(condition)) { DebugStop("Assertion failure: %s [File: %s, Line: %lu]", #condition, __FILE__, __LINE__); } 40c083b0dbdb64cb2f3bf0c19a6f3bba72c2a78378Ted Kremenek#define RequireAction(condition, action)if (!(condition)) { DebugStop("Assertion failure: %s [File: %s, Line: %lu]", #condition, __FILE__, __LINE__); action } 41c083b0dbdb64cb2f3bf0c19a6f3bba72c2a78378Ted Kremenek#define RequireActionSilent(condition, action)if (!(condition)) { action } 42c083b0dbdb64cb2f3bf0c19a6f3bba72c2a78378Ted Kremenek#define AssertNoErr(err){ DebugDisplayOSStatusMsg((err), #err, __FILE__, __LINE__); } 43c083b0dbdb64cb2f3bf0c19a6f3bba72c2a78378Ted Kremenek#define RequireNoErr(err, action){ if( DebugDisplayOSStatusMsg((err), #err, __FILE__, __LINE__) ) { action }} 44c083b0dbdb64cb2f3bf0c19a6f3bba72c2a78378Ted Kremenek 451eb4433ac451dc16f4133a88af2d002ac26c58efMike Stumpvoid DebugStop(const char *format,...); /* Not an abort function. */ 46c083b0dbdb64cb2f3bf0c19a6f3bba72c2a78378Ted Kremenek 47c083b0dbdb64cb2f3bf0c19a6f3bba72c2a78378Ted Kremenekint main(int argc, char *argv[]) { 481eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump CFStringRef cfString; 491eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump OSStatus status = noErr; 501eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump cfString = CFStringCreateWithCString(0, "hello", kCFStringEncodingUTF8); 511eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump RequireAction(cfString != 0, return memFullErr;) //no - warning 521eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump printf("cfstring %p\n", cfString); 531eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Exit: 541eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump CFRelease(cfString); 551eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump return 0; 56c083b0dbdb64cb2f3bf0c19a6f3bba72c2a78378Ted Kremenek} 57