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