| 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 | |