|
173
|
1 // RUN: %clang_cc1 -fsyntax-only -verify -Wno-pointer-to-int-cast -Wno-objc-root-class %s
|
|
150
|
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}}
|
