// RUN: %clang_cc1 -triple x86_64-apple-darwin11 -fsyntax-only -fobjc-arc -fblocks -verify %s

typedef const void *CFTypeRef;

CFTypeRef CFBridgingRetain(id X);

x = (id) CFMakeString3(); // expected-error {{requires a bridged cast}} expected-note {{CFBridgingRelease call to transfer}}

x = (id) CFCreateString3(); // expected-error {{requires a bridged cast}} expected-note {{CFBridgingRelease call to transfer}}

}

I *y;

J **py = &y; // expected-error {{pointer to non-const type 'J *' with no explicit ownership}} expected-warning {{incompatible pointer types initializing}}

}

// RUN: %clang_cc1 -triple x86_64-apple-darwin11 -fsyntax-only -fobjc-arc -verify %s

// rdar://11913153

typedef const struct __CFString * CFStringRef;

// rdar://9340606

@interface Foo {

// rdar://11253688

@interface Boom

@end

@interface Foo2 {

@implementation Foo2

@end

// expected-no-diagnostics

// rdar:// 10558871

use(a.strongProp.weakProp); // no-warning

}

@implementation I2 // expected-note {{when implemented by class I2}}

@synthesize font = _font;

@end

// rdar://8861761

@interface B

- (id)initWithInt: (int) i;

@end

void rdar8861761() {

B *o1 = [[B alloc] initWithInt:0];

B *o2 = [B alloc];

[o2 initWithInt:0]; // expected-warning {{expression result unused}}

}

// rdar://8925835

void test18(void) {

id x;

}

extern struct Test19 *test19a;

__strong NSMutableArray *y1 = x; // expected-warning {{incompatible pointer types initializing 'NSMutableArray *' with an expression of type 'NSArray *'}}

PSNS y2 = x; // expected-warning {{incompatible pointer types initializing 'NSMutableArray *' with an expression of type 'NSArray *'}}

}

@end

int X;

void foo();

static id __attribute((objc_gc(weak))) a;

static id __attribute((objc_gc(strong))) b;

static id __attribute((objc_gc(hello))) f; // expected-warning{{'objc_gc' attribute argument not supported: 'hello'}}

static int __attribute__((objc_gc(weak))) g; // expected-warning {{'objc_gc' only applies to pointer types; type here is 'int'}}

@implementation NonRootClass

@end

{

}

__what; // expected-error {{use of undeclared identifier}} \

// expected-warning {{expression result unused}}

}

@end

@implementation Bar // expected-warning {{cannot find interface declaration for}}

void testCStyleEnumInference(bool arg) {

cse_block_t a;

// No warnings here.

a = ^{ return getCSE(); };

a = ^{ // expected-error {{incompatible block pointer types assigning to 'cse_block_t' (aka 'enum CStyleEnum (^)()') from 'int (^)(void)'}}

return 1;

// No warnings here.

a = ^{ if (arg) return CSE_Value; else return getCSE(); };

a = ^{ if (arg) return getCSE(); else return CSE_Value; };

// These two blocks actually return 'int'

a = ^{ // expected-error {{incompatible block pointer types assigning to 'cse_block_t' (aka 'enum CStyleEnum (^)()') from 'int (^)(void)'}}

return 1;

};

// rdar://13200889

extern void check_enum(void);

a = ^{

SB = ^{ if (arg) return TDFTE_Value; else return getTDFTE(); };

SB = ^{ if (arg) return getTDFTE(); else return TDFTE_Value; };

}

- (int) instance_func0;

@end

+ (int) class_func1;

+ (int) class_func2;

+ (int) class_func3;

@implementation Derived

+ (int) class_func1

{

return i + (size_t)[super class_func0]; // expected-warning {{class method '+class_func0' not found (return type defaults to 'id')}}

}

+ (int) class_func2

}

- (int) instance_func1

{

return i + (size_t)[super instance_func0]; // expected-warning {{'Object' may not respond to 'instance_func0'}}

}

- (int) instance_func2

@protocol SUPER;

typedef int OBJECT; // expected-error {{redefinition of 'OBJECT' as different kind of symbol}}

@interface INTF2 : OBJECT2 @end // expected-error {{redefinition of 'OBJECT2' as different kind of symbol}}

@protocol PROTO;

typedef struct {} NSFastEnumerationState;

@protocol NSFastEnumeration - (NSUInteger)countByEnumeratingWithState:(NSFastEnumerationState *)state objects:(id *)stackbuf count:(NSUInteger)len; @end

@interface NSDictionary : NSObject <NSCopying, NSMutableCopying, NSCoding, NSFastEnumeration> - (NSUInteger)count; @end

extern NSString * const NSTaskDidTerminateNotification;

@interface XCPropertyExpansionContext : NSObject <NSCopying> { // expected-note {{required for direct or indirect protocol 'NSCopying'}}

@end

// No @interface declaration for DTFilterOutputStream3

- (id)initWithNextOutputStream:(id <DTOutputStreams>) outputStream {

id <DTOutputStreams> nextOutputStream = [self nextOutputStream]; // expected-warning {{method '-nextOutputStream' not found (return type defaults to 'id')}}

self = nextOutputStream; // expected-warning {{assigning to 'DTFilterOutputStream3 *' from incompatible type 'id<DTOutputStreams>'}}

// RUN: %clang_cc1 -triple x86_64-apple-darwin11 -fsyntax-only -fobjc-arc -fblocks -verify %s

// rdar://11987838

@protocol NSObject

// rdar://11295716

@interface NSObject

// rdar://8843851

@interface StopAccessingIvarsDirectlyExample

#if __has_attribute(objc_requires_property_definitions)

__attribute ((objc_requires_property_definitions))

@implementation S

@end

@interface NSString @end

id firstobj;

struct objc_class *isa;

}

@end

@interface Whatever : NSObject

+self;

@end

static void func() {

(void) (0x1 & ((NSUInteger) p)); // expected-warning {{bitmasking for introspection of Objective-C object pointers is strongly discouraged}}

(void) (((NSUInteger) p) ^ 0x1); // no-warning

(void) (0x1 ^ ((NSUInteger) p)); // no-warning

} \ No newline at end of file

// expected-no-diagnostics

// rdar://8673791

// rdar://9943851

// rdar://13178483

@interface LaunchdJobs

@end

* and no diagnostics even in pedantic mode should happen.

* rdar://6814674

*/

}

/* // rdar://9072298 */

int main ()

{

NSObject<NSFastEnumeration>* collection = ((void*)0);

return 0;

}

@class NSString;

extern NSString *fa2 (const NSString *) __attribute__((format_arg(1)));

extern NSString *fa3 (NSString *) __attribute__((format_arg(1)));

extern NSString *ff3 (const NSString *) __attribute__((format_arg(3-2)));

extern NSString *ff4 (const NSString *) __attribute__((format_arg(foo))); // expected-error {{use of undeclared identifier 'foo'}}

extern int fi3 (const NSString *) __attribute__((format_arg(1))); // expected-error {{function does not return NSString}}

extern NSString *fi4 (const NSString *) __attribute__((format_arg(1)));

extern NSString *fi5 (const NSString *) __attribute__((format_arg(1)));

// <rdar://problem/11825593>

void testByValueObjectInFormat(Foo *obj) {

printf("%d %d %d", 1L, *obj, 1L); // expected-error {{cannot pass object with interface type 'Foo' by value to variadic function; expected type from format string was 'int'}} expected-warning 2 {{format specifies type 'int' but the argument has type 'long'}}

[Bar log2:@"%d", *obj]; // expected-error {{cannot pass object with interface type 'Foo' by value to variadic method; expected type from format string was 'int'}}

}

NSLog(@"dW %d dH %d",({ __typeof__(dW) __a = (dW); __a < 0 ? -__a : __a; }),({ __typeof__(dH) __a = (dH); __a < 0 ? -__a : __a; })); // expected-warning 2 {{values of type 'NSInteger' should not be used as format arguments; add an explicit cast to 'long' instead}}

}

// rdar://12958878

@interface NSObject @end

// rdar://11448209

#define READONLY readonly

typedef void *PV;

@interface BAD {

__attribute__((iboutletcollection(PV))) void *ivar4; // expected-warning {{instance variable with 'iboutletcollection' attribute must be an object type (invalid 'void *')}}

__attribute__((iboutletcollection(int))) id ivar5; // expected-error {{type argument of iboutletcollection attribute cannot be a builtin type}}

__attribute__((iboutlet)) int ivar6; // expected-warning {{instance variable with 'iboutlet' attribute must be an object type}}

}

@property __attribute__((iboutletcollection(BAD))) int prop3; // expected-warning {{property with 'iboutletcollection' attribute must be an object type (invalid 'int')}}

@end

@property (nonatomic, strong)

__attribute__((iboutletcollection(RDar10296078_OtherClass<RDar10296078_Protocol>))) NSArray *stuff;

@end

}

- (id) init;

- (id) initWithInt: (int) i;

- (void) iterate: (id) coll;

- (id) nextObject;

@property unsigned uid;

return self;

}

- (void) iterate: (id) coll {

id cur;

while (cur = [coll nextObject]) {

- (instancetype)otherMethodInProto2; // expected-note{{overridden method returns an instance of its class type}}

@end

- (instancetype)initSubclass1;

- (void)methodOnSubclass1;

+ (instancetype)allocSubclass1;

int IVAR; // expected-error {{instance variable is already declared}}

}

@end

// RUN: %clang_cc1 -fsyntax-only -verify -Wno-objc-root-class %s

int sprite, spree;

int UseGlobalBar;

}

+ (void)setFoo:(int)foo {

sprite = foo; // expected-error {{instance variable 'sprite' accessed in class method}}

spree = foo;

UseGlobalBar = 10;

}

+ (void)setSprite:(int)sprite {

// expected-warning {{instance method '-bar' not found}}

}

-(void)unavail_meth __attribute__((unavailable)); // expected-note {{marked unavailable here}}

@end

}

@end

return 0;

}

@end

// RUN: %clang_cc1 -fsyntax-only -verify %s

@end

void test() {

- (void) foo5 : (int)x, ... __attribute__ ((__sentinel__(1))); // expected-note {{method has been explicitly marked sentinel here}}

- (void) foo6 : (int)x, ... __attribute__ ((__sentinel__(5))); // expected-note {{method has been explicitly marked sentinel here}}

- (void) foo7 : (int)x, ... __attribute__ ((__sentinel__(0))); // expected-note {{method has been explicitly marked sentinel here}}

- (void) foo9 : (int)x, ... __attribute__ ((__sentinel__(-1))); // expected-error {{'sentinel' parameter 1 less than zero}}

- (void) foo10 : (int)x, ... __attribute__ ((__sentinel__(1,1)));

- (void) foo11 : (int)x, ... __attribute__ ((__sentinel__(1,1,3))); // expected-error {{attribute takes no more than 2 arguments}}

// RUN: %clang_cc1 -triple i386-apple-darwin9 -fsyntax-only -verify -Wno-objc-root-class %s

@end

@implementation I0 // expected-note {{implementation started here}}

// RUN: %clang_cc1 -fsyntax-only -verify -Wno-objc-root-class %s

typedef struct CGColor * __attribute__ ((NSObject)) CGColorRef;

static int count;

static CGColorRef tmp = 0;

// RUN: %clang_cc1 -fsyntax-only -verify %s

// rdar://10111397

#if __LP64__ || (TARGET_OS_EMBEDDED && !TARGET_OS_IPHONE) || TARGET_OS_WIN32 || NS_BUILD_32_LIKE_64

typedef unsigned long NSUInteger;

const char *blah;

NSArray *array2 = @[blah]; // expected-error{{collection element of type 'const char *' is not an Objective-C object}}

}

// RUN: %clang_cc1 -fsyntax-only -verify %s

// rdar://11062080

@interface NSNumber

+ (NSNumber *)numberWithChar:(char)value;

// RUN: %clang_cc1 -fsyntax-only -verify -Weverything %s

// rdar://12103434

@class NSString;

@interface MyClass : NSObject

@end

@interface MutableNSData : NSData @end

@property(readonly) id ref;

@property(readonly) Base *p_base;

@property(readonly) NSData *nsdata;

@interface Object

+ (id)new;

@property (nonatomic, readonly) NSString* addingMemoryModel;

@property (readonly) NSString* none;

@property (readonly) NSString* none1;

@property (readonly) __weak id weak_prop;

@property (readonly) __weak id weak_prop1;

@property (readonly) NSString* readonlyProp;

@protocol P

@end

- (void)IMeth;

@end

@implementation INTF

@end

@end

@implementation INTF

@end

// rdar:// 8565343

@interface Foo {

@interface Fail @end

@protocol X @end

@implementation Fail

{

return (id)self; // expected-warning {{casting 'Fail *' to incompatible type 'id<X>'}}

}

@interface WeirdNSString : NSString

- (id)initWithCString:(const char*)string, void *blah;

@end

- (void) foo

{

SEL a,b,c;

b = @selector(bar);

}

@end

SEL func()

{

}

// rdar://9545564

@implementation INTF

- (void) Meth {

{

}

}

}

@end

// rdar://7884086

@interface NSObject @end

[super MyDealloc];

} // expected-warning {{method possibly missing a [super XXX] call}}

- (void) AnnotMyDeallocMeth{} // expected-warning {{method possibly missing a [super AnnotMyDeallocMeth] call}}

+ (void)registerClass:(id)name {} // expected-warning {{method possibly missing a [super registerClass:] call}}

@end

}

@end

@interface B

+(int) classGetter;

// expected-no-diagnostics

// rdar://8913053

int bar;

@interface I

{

}

@class NSString;

@interface MyClass : Super

@property(nonatomic, copy, readonly) id warnProp; // expected-warning {{property attributes 'readonly' and 'copy' are mutually exclusive}}

@end

@protocol P

@property(nonatomic, copy, readonly) id warnProp; // expected-warning {{property attributes 'readonly' and 'copy' are mutually exclusive}}

@end

@protocol PROTOCOL0

@required

// rdar://6505197

__attribute__((objc_root_class)) @interface MyObject {

// rdar://8774580

@interface Super

// CHECK-GC-ONLY: warn-missing-super.m:26:1: warning: method possibly missing a [super finalize] call

// CHECK-GC-ONLY: 1 warning generated.

// CHECK-ARC: warn-missing-super.m:36:10: error: ARC forbids explicit message send of 'dealloc'

// CHECK-ARC: 1 error generated.

// rdar://9829425

// rdar://11761511

extern void doSomething();