1 // RUN: %clang_cc1 -triple x86_64-apple-darwin10 -analyze -analyzer-checker=core,osx.cocoa.VariadicMethodTypes -analyzer-store=basic -fblocks -verify %s 2 // RUN: %clang_cc1 -triple x86_64-apple-darwin10 -analyze -analyzer-checker=core,osx.cocoa.VariadicMethodTypes -analyzer-store=region -fblocks -verify %s 3 4 //===----------------------------------------------------------------------===// 5 // The following code is reduced using delta-debugging from 6 // Foundation.h (Mac OS X). 7 // 8 // It includes the basic definitions for the test cases below. 9 // Not directly including Foundation.h directly makes this test case 10 // both svelte and portable to non-Mac platforms. 11 //===----------------------------------------------------------------------===// 12 13 #define nil (void*)0 14 typedef const struct __CFString * CFStringRef; 15 extern const CFStringRef kCGImageSourceShouldCache __attribute__((visibility("default"))); 16 typedef signed char BOOL; 17 typedef struct _NSZone NSZone; 18 typedef unsigned int NSUInteger; 19 @protocol NSObject 20 - (BOOL)isEqual:(id)object; 21 - (oneway void)release; 22 - (id)retain; 23 - (id)autorelease; 24 @end 25 @protocol NSCopying 26 - (id)copyWithZone:(NSZone *)zone; 27 @end 28 @protocol NSMutableCopying 29 - (id)mutableCopyWithZone:(NSZone *)zone; 30 @end 31 @class NSCoder; 32 @protocol NSCoding 33 - (void)encodeWithCoder:(NSCoder *)aCoder; 34 @end 35 @interface NSObject <NSObject> {} 36 - (id)init; 37 + (id)alloc; 38 @end 39 typedef struct {} NSFastEnumerationState; 40 @protocol NSFastEnumeration 41 - (NSUInteger)countByEnumeratingWithState:(NSFastEnumerationState *)state objects:(id *)stackbuf count:(NSUInteger)len; 42 @end 43 @interface NSArray : NSObject <NSCopying, NSMutableCopying, NSCoding, NSFastEnumeration> 44 @end 45 @interface NSArray (NSArrayCreation) 46 + (id)arrayWithObjects:(id)firstObj, ... __attribute__((sentinel(0,1))); 47 - (id)initWithObjects:(id)firstObj, ... __attribute__((sentinel(0,1))); 48 @end 49 @interface NSDictionary : NSObject <NSCopying, NSMutableCopying, NSCoding, NSFastEnumeration> 50 @end 51 @interface NSDictionary (NSDictionaryCreation) 52 + (id)dictionaryWithObjectsAndKeys:(id)firstObject, ... __attribute__((sentinel(0,1))); 53 - (id)initWithObjectsAndKeys:(id)firstObject, ... __attribute__((sentinel(0,1))); 54 @end 55 @interface NSSet : NSObject <NSCopying, NSMutableCopying, NSCoding, NSFastEnumeration> 56 @end 57 @interface NSSet (NSSetCreation) 58 + (id)setWithObjects:(id)firstObj, ... __attribute__((sentinel(0,1))); 59 - (id)initWithObjects:(id)firstObj, ... __attribute__((sentinel(0,1))); 60 @end 61 @protocol P; 62 @class C; 63 64 typedef struct FooType * __attribute__ ((NSObject)) FooType; 65 typedef struct BarType * BarType; 66 67 68 void f(id a, id<P> b, C* c, C<P> *d, FooType fooType, BarType barType) { 69 [NSArray arrayWithObjects:@"Hello", a, b, c, d, nil]; 70 [NSArray arrayWithObjects:@"Foo", ^{}, nil]; 71 72 [NSArray arrayWithObjects:@"Foo", "Bar", "Baz", nil]; // expected-warning 2 {{Argument to 'NSArray' method 'arrayWithObjects:' should be an Objective-C pointer type, not 'char *'}} 73 [NSDictionary dictionaryWithObjectsAndKeys:@"Foo", "Bar", nil]; // expected-warning {{Argument to 'NSDictionary' method 'dictionaryWithObjectsAndKeys:' should be an Objective-C pointer type, not 'char *'}} 74 [NSSet setWithObjects:@"Foo", "Bar", nil]; // expected-warning {{Argument to 'NSSet' method 'setWithObjects:' should be an Objective-C pointer type, not 'char *'}} 75 76 [[[NSArray alloc] initWithObjects:@"Foo", "Bar", nil] autorelease]; // expected-warning {{Argument to 'NSArray' method 'initWithObjects:' should be an Objective-C pointer type, not 'char *'}} 77 [[[NSDictionary alloc] initWithObjectsAndKeys:@"Foo", "Bar", nil] autorelease]; // expected-warning {{Argument to 'NSDictionary' method 'initWithObjectsAndKeys:' should be an Objective-C pointer type, not 'char *'}} 78 [[[NSDictionary alloc] initWithObjectsAndKeys:@"Foo", (void*) 0, nil] autorelease]; // no-warning 79 [[[NSDictionary alloc] initWithObjectsAndKeys:@"Foo", kCGImageSourceShouldCache, nil] autorelease]; // no-warning 80 [[[NSDictionary alloc] initWithObjectsAndKeys:@"Foo", fooType, nil] autorelease]; // no-warning 81 [[[NSDictionary alloc] initWithObjectsAndKeys:@"Foo", barType, nil] autorelease]; // expected-warning {{Argument to 'NSDictionary' method 'initWithObjectsAndKeys:' should be an Objective-C pointer type, not 'BarType'}} 82 [[[NSSet alloc] initWithObjects:@"Foo", "Bar", nil] autorelease]; // expected-warning {{Argument to 'NSSet' method 'initWithObjects:' should be an Objective-C pointer type, not 'char *'}} 83 } 84 85 // This previously crashed the variadic argument checker. 86 @protocol RDar9273215 87 - (void)rdar9273215:(id)x, ...; 88 @end 89 90 void test_rdar9273215(id<RDar9273215> y) { 91 return [y rdar9273215:y, y]; 92 } 93 94
