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 58@import category_left.sub; 59 60void test_hidden_right_errors(Foo *foo) { 61 // These are okay 62 [foo left_sub]; // okay 63 id<P1> p1 = foo; 64 id<P3> p3; 65 [p3 p3_method]; 66 id p3p = p3.p3_prop; 67 p3p = foo.p3_prop; 68 // These should fail 69 foo.right_sub_prop = foo; // expected-error{{property 'right_sub_prop' not found on object of type 'Foo *'}} 70 int i = foo->right_sub_ivar; // expected-error{{'Foo' does not have a member named 'right_sub_ivar'}} 71 id<P2> p2 = foo; // expected-warning{{initializing 'id<P2>' with an expression of incompatible type 'Foo *'}} 72 id<P4> p4; 73 [p4 p4_method]; // expected-warning{{instance method '-p4_method' not found (return type defaults to 'id')}} 74 id p4p = p4.p4_prop; // expected-error{{property 'p4_prop' not found on object of type 'id<P4>'}} 75 p4p = foo.p4_prop; // expected-error{{property 'p4_prop' not found on object of type 'Foo *'; did you mean 'p3_prop'?}} 76 // expected-note@Inputs/category_left_sub.h:7{{'p3_prop' declared here}} 77} 78 79@import category_right.sub; 80 81void test_hidden_okay(Foo *foo) { 82 [foo left_sub]; 83 foo.right_sub_prop = foo; 84 int i = foo->right_sub_ivar; 85 id<P1> p1 = foo; 86 id<P2> p2 = foo; 87 id<P3> p3; 88 [p3 p3_method]; 89 id<P4> p4; 90 [p4 p4_method]; 91 id p3p = p3.p3_prop; 92 p3p = foo.p3_prop; 93 id p4p = p4.p4_prop; 94 p4p = foo.p4_prop; 95} 96