1 // RUN: rm -rf %t
2 // RUN: mkdir -p %t
3 // RUN: %clang_cc1 -std=c++2a -x c++-header %S/Inputs/header.h -emit-header-module -fmodule-name=FIXME -o %t/h.pcm
4 // RUN: %clang_cc1 -std=c++2a %s -DX_INTERFACE -emit-module-interface -o %t/x.pcm
5 // RUN: %clang_cc1 -std=c++2a %s -DY_INTERFACE -emit-module-interface -o %t/y.pcm
6 // RUN: %clang_cc1 -std=c++2a %s -DINTERFACE -fmodule-file=%t/x.pcm -fmodule-file=%t/y.pcm -emit-module-interface -o %t/m.pcm
7 // RUN: %clang_cc1 -std=c++2a %s -DIMPLEMENTATION -I%S/Inputs -fmodule-file=%t/h.pcm -fmodule-file=%t/m.pcm -verify
8 // RUN: %clang_cc1 -std=c++2a %s -DUSER -I%S/Inputs -fmodule-file=%t/h.pcm -fmodule-file=%t/m.pcm -verify
9 
10 #if defined(X_INTERFACE)
11 export module X;
12 export int x;
13 
14 #elif defined(Y_INTERFACE)
15 export module Y;
16 export int y;
17 
18 #elif defined(INTERFACE)
19 export module p2;
20 export import X;
21 import Y; // not exported
22 
23 namespace A {
24   int f();
25   export int g();
26   int h();
27   namespace inner {}
28 }
29 export namespace B {
30   namespace inner {}
31 }
32 namespace B {
33   int f();
34 }
35 namespace C {}
36 namespace D { int f(); }
37 export namespace D {}
38 
39 #elif defined(IMPLEMENTATION)
40 module p2;
41 import "header.h";
42 
43 // Per [basic.scope.namespace]/2.3, exportedness has no impact on visibility
44 // within the same module.
45 //
46 // expected-no-diagnostics
47 
use()48 void use() {
49   A::f();
50   A::g();
51   A::h();
52   using namespace A::inner;
53 
54   using namespace B;
55   using namespace B::inner;
56   B::f();
57   f();
58 
59   using namespace C;
60 
61   D::f();
62 }
63 
use_header()64 int use_header() { return foo + bar::baz(); }
65 
66 #elif defined(USER)
67 import p2;
68 import "header.h";
69 
use()70 void use() {
71   // namespace A is implicitly exported by the export of A::g.
72   A::f(); // expected-error {{no member named 'f' in namespace 'A'}}
73   A::g();
74   A::h(); // expected-error {{no member named 'h' in namespace 'A'}}
75   using namespace A::inner; // expected-error {{expected namespace name}}
76 
77   // namespace B and B::inner are explicitly exported
78   using namespace B;
79   using namespace B::inner;
80   B::f(); // expected-error {{no member named 'f' in namespace 'B'}}
81   f(); // expected-error {{undeclared identifier 'f'}}
82 
83   // namespace C is not exported
84   using namespace C; // expected-error {{expected namespace name}}
85 
86   // namespace D is exported, but D::f is not
87   D::f(); // expected-error {{no member named 'f' in namespace 'D'}}
88 }
89 
use_header()90 int use_header() { return foo + bar::baz(); }
91 
92 #else
93 #error unknown mode
94 #endif
95