test/Analysis/cfref_rdar6080742.c

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