1 // RUN: %clang_cc1 -fsyntax-only -verify -Wno-objc-root-class %s 2 // rdar://5986251 3 4 @protocol SomeProtocol 5 - (void) bar; 6 @end 7 8 void bar(); 9 void foo(id x) { 10 bar((short<SomeProtocol>)x); // expected-error {{expected ')'}} expected-note {{to match this '('}} 11 bar((<SomeProtocol>)x); // expected-warning {{protocol has no object type specified; defaults to qualified 'id'}} 12 13 [(<SomeProtocol>)x bar]; // expected-warning {{protocol has no object type specified; defaults to qualified 'id'}} 14 } 15 16 @protocol MyProtocol 17 - (void)doSomething; 18 @end 19 20 @interface MyClass 21 - (void)m1:(id <MyProtocol> const)arg1; 22 23 // FIXME: provide a better diagnostic (no typedef). 24 - (void)m2:(id <MyProtocol> short)arg1; // expected-error {{'short type-name' is invalid}} 25 @end 26 27 typedef int NotAnObjCObjectType; 28 29 // GCC doesn't diagnose this. 30 NotAnObjCObjectType <SomeProtocol> *obj; // expected-error {{invalid protocol qualifiers on non-ObjC type}} 31 32 typedef struct objc_class *Class; 33 34 Class <SomeProtocol> UnfortunateGCCExtension; 35 36 // rdar://10238337 37 @protocol Broken @end 38 @interface Crash @end 39 @implementation Crash 40 - (void)crashWith:(<Broken>)a { // expected-warning {{protocol has no object type specified; defaults to qualified 'id'}} 41 } 42 @end 43 44 typedef <SomeProtocol> id TwoTypeSpecs; // expected-warning{{no object type specified}} 45 // expected-error@-1{{typedef redefinition with different types ('id<SomeProtocol>' vs 'id')}} 46 // expected-error@-2{{expected ';' after top level declarator}} 47
