1// RUN: rm -rf %t
2// RUN: %clang_cc1 -fmodules -fimplicit-module-maps -fmodules-cache-path=%t -x objective-c -fmodule-name=category_top -emit-module %S/Inputs/module.map
3// RUN: %clang_cc1 -fmodules -fimplicit-module-maps -fmodules-cache-path=%t -x objective-c -fmodule-name=category_left -emit-module %S/Inputs/module.map
4// RUN: %clang_cc1 -fmodules -fimplicit-module-maps -fmodules-cache-path=%t -x objective-c -fmodule-name=category_right -emit-module %S/Inputs/module.map
5// RUN: %clang_cc1 -fmodules -fimplicit-module-maps -fmodules-cache-path=%t -x objective-c -fmodule-name=category_bottom -emit-module %S/Inputs/module.map
6// RUN: %clang_cc1 -fmodules -fimplicit-module-maps -fmodules-cache-path=%t -x objective-c -fmodule-name=category_other -emit-module %S/Inputs/module.map
7// RUN: %clang_cc1 -fmodules -fimplicit-module-maps -fmodules-cache-path=%t -I %S/Inputs %s -verify
8
9@import category_bottom;
10
11// expected-note@Inputs/category_left.h:14 {{previous definition}}
12// expected-warning@Inputs/category_right.h:12 {{duplicate definition of category}}
13// expected-note@Inputs/category_top.h:1 {{receiver is instance of class declared here}}
14
15@interface Foo(Source)
16-(void)source;
17@end
18
19void test(Foo *foo, LeftFoo *leftFoo) {
20  [foo source];
21  [foo bottom];
22  [foo left];
23  [foo right1];
24  [foo right2];
25  [foo top];
26  [foo top2];
27  [foo top3];
28
29  [leftFoo left];
30  [leftFoo bottom];
31}
32
33// Load another module that also adds categories to Foo, verify that
34// we see those categories.
35@import category_other;
36
37void test_other(Foo *foo) {
38  [foo other];
39}
40
41// Make sure we don't see categories that should be hidden
42void test_hidden_all_errors(Foo *foo) {
43  [foo left_sub]; // expected-warning{{instance method '-left_sub' not found (return type defaults to 'id')}}
44  foo.right_sub_prop = foo; // expected-error{{property 'right_sub_prop' not found on object of type 'Foo *'}}
45  int i = foo->right_sub_ivar; // expected-error{{'Foo' does not have a member named 'right_sub_ivar'}}
46  id<P1> p1 = foo; // expected-warning{{initializing 'id<P1>' with an expression of incompatible type 'Foo *'}}
47  id<P2> p2 = foo; // expected-warning{{initializing 'id<P2>' with an expression of incompatible type 'Foo *'}}
48  id<P3> p3;
49  [p3 p3_method]; // expected-warning{{instance method '-p3_method' not found (return type defaults to 'id')}}
50  id<P4> p4;
51  [p4 p4_method]; // expected-warning{{instance method '-p4_method' not found (return type defaults to 'id')}}
52  id p3p = p3.p3_prop; // expected-error{{property 'p3_prop' not found on object of type 'id<P3>'}}
53  p3p = foo.p3_prop; // expected-error{{property 'p3_prop' not found on object of type 'Foo *'}}
54  id p4p = p4.p4_prop; // expected-error{{property 'p4_prop' not found on object of type 'id<P4>'}}
55  p4p = foo.p4_prop; // expected-error{{property 'p4_prop' not found on object of type 'Foo *'}}
56
57  if (foo.hiddenPropertyFromExtension) { // expected-error {{property 'hiddenPropertyFromExtension' not found on object of type 'Foo *'}}
58  }
59}
60
61@import category_left.sub;
62
63void test_hidden_right_errors(Foo *foo) {
64  // These are okay
65  [foo left_sub]; // okay
66  id<P1> p1 = foo;
67  id<P3> p3;
68  [p3 p3_method];
69  id p3p = p3.p3_prop;
70  p3p = foo.p3_prop;
71  // These should fail
72  foo.right_sub_prop = foo; // expected-error{{property 'right_sub_prop' not found on object of type 'Foo *'}}
73  int i = foo->right_sub_ivar; // expected-error{{'Foo' does not have a member named 'right_sub_ivar'}}
74  id<P2> p2 = foo; // expected-warning{{initializing 'id<P2>' with an expression of incompatible type 'Foo *'}}
75  id<P4> p4;
76  [p4 p4_method]; // expected-warning{{instance method '-p4_method' not found (return type defaults to 'id')}}
77  id p4p = p4.p4_prop; // expected-error{{property 'p4_prop' not found on object of type 'id<P4>'}}
78  p4p = foo.p4_prop; // expected-error{{property 'p4_prop' not found on object of type 'Foo *'; did you mean 'p3_prop'?}}
79  // expected-note@Inputs/category_left_sub.h:7{{'p3_prop' declared here}}
80  int hiddenFromExtension = foo.hiddenPropertyFromExtension; // expected-error {{property 'hiddenPropertyFromExtension' not found on object of type 'Foo *'}}
81}
82
83@import category_right.sub;
84
85void test_hidden_okay(Foo *foo) {
86  [foo left_sub];
87  foo.right_sub_prop = foo;
88  int i = foo->right_sub_ivar;
89  id<P1> p1 = foo;
90  id<P2> p2 = foo;
91  id<P3> p3;
92  [p3 p3_method];
93  id<P4> p4;
94  [p4 p4_method];
95  id p3p = p3.p3_prop;
96  p3p = foo.p3_prop;
97  id p4p = p4.p4_prop;
98  p4p = foo.p4_prop;
99  if (foo.hiddenPropertyFromExtension) {
100  }
101}
102