1// RUN: %clang_cc1 -analyze -analyzer-checker=core,osx.cocoa.RetainCount,alpha.core -verify %s -analyzer-constraints=range -analyzer-store=region 2// expected-no-diagnostics 3 4typedef struct objc_selector *SEL; 5typedef signed char BOOL; 6typedef int NSInteger; 7typedef unsigned int NSUInteger; 8typedef struct _NSZone NSZone; 9@class NSInvocation, NSMethodSignature, NSCoder, NSString, NSEnumerator; 10@protocol NSObject - (BOOL)isEqual:(id)object; @end 11@protocol NSCopying - (id)copyWithZone:(NSZone *)zone; @end 12@protocol NSMutableCopying - (id)mutableCopyWithZone:(NSZone *)zone; @end 13@protocol NSCoding - (void)encodeWithCoder:(NSCoder *)aCoder; @end 14@interface NSObject <NSObject> {} - (id)init; @end 15extern id NSAllocateObject(Class aClass, NSUInteger extraBytes, NSZone *zone); 16@interface NSString : NSObject <NSCopying, NSMutableCopying, NSCoding> 17- (NSUInteger)length; 18+ (id)stringWithUTF8String:(const char *)nullTerminatedCString; 19@end extern NSString * const NSBundleDidLoadNotification; 20@interface NSAssertionHandler : NSObject {} 21+ (NSAssertionHandler *)currentHandler; 22- (void)handleFailureInMethod:(SEL)selector object:(id)object file:(NSString *)fileName lineNumber:(NSInteger)line description:(NSString *)format,...; 23- (void)handleFailureInFunction:(NSString *)functionName file:(NSString *)fileName lineNumber:(NSInteger)line description:(NSString *)format,...; 24@end 25extern NSString * const NSConnectionReplyMode; 26 27//----------------------------------------------------------------------------// 28// The following test case was filed in PR 2593: 29// http://llvm.org/bugs/show_bug.cgi?id=2593 30// 31// There should be no null dereference flagged by the checker because of 32// NSParameterAssert and NSAssert. 33 34 35@interface TestAssert : NSObject {} 36@end 37 38@implementation TestAssert 39 40- (id)initWithPointer: (int*)x 41{ 42 // Expansion of: NSParameterAssert( x != 0 ); 43 do { if (!((x != 0))) { [[NSAssertionHandler currentHandler] handleFailureInMethod:_cmd object:self file:[NSString stringWithUTF8String:"CFRetainRelease_NSAssertionHandler.m"] lineNumber:21 description:(@"Invalid parameter not satisfying: %s"), ("x != 0"), (0), (0), (0), (0)]; } } while(0); 44 45 if( (self = [super init]) != 0 ) 46 { 47 *x = 1; // no-warning 48 } 49 50 return self; 51} 52 53- (id)initWithPointer2: (int*)x 54{ 55 // Expansion of: NSAssert( x != 0, @"" ); 56 do { if (!((x != 0))) { [[NSAssertionHandler currentHandler] handleFailureInMethod:_cmd object:self file:[NSString stringWithUTF8String:"CFRetainRelease_NSAssertionHandler.m"] lineNumber:33 description:((@"")), (0), (0), (0), (0), (0)]; } } while(0); 57 58 if( (self = [super init]) != 0 ) 59 { 60 *x = 1; // no-warning 61 } 62 63 return self; 64} 65 66@end 67 68void pointerFunction (int *x) { 69 // Manual expansion of NSCAssert( x != 0, @"") 70 do { if (!((x != 0))) { [[NSAssertionHandler currentHandler] handleFailureInFunction:[NSString stringWithUTF8String:__PRETTY_FUNCTION__] file:[NSString stringWithUTF8String:__FILE__] lineNumber:__LINE__ description:((@""))]; } } while(0); 71 72 *x = 1; // no-warning 73} 74