1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
|
// RUN: rm -rf %t
// RUN: mkdir -p %t
// RUN: split-file %s %t
// RUN: %clang_cc1 -std=c++20 %t/impl.cppm -emit-module-interface -o %t/M-impl.pcm
// RUN: %clang_cc1 -std=c++20 %t/M.cppm -emit-module-interface -fprebuilt-module-path=%t -o %t/M.pcm
// RUN: %clang_cc1 -std=c++20 %t/Use.cpp -fprebuilt-module-path=%t -verify -fsyntax-only
// RUN: %clang_cc1 -std=c++20 %t/UseInPartA.cppm -fprebuilt-module-path=%t -verify -fsyntax-only
// RUN: %clang_cc1 -std=c++20 %t/UseInAnotherModule.cppm -fprebuilt-module-path=%t -verify -fsyntax-only
// RUN: %clang_cc1 -std=c++20 %t/Private.cppm -emit-module-interface -fprebuilt-module-path=%t -o %t/A.pcm
// RUN: %clang_cc1 -std=c++20 %t/TryUseFromPrivate.cpp -fprebuilt-module-path=%t -verify -fsyntax-only
// RUN: %clang_cc1 -std=c++20 %t/Global.cppm -emit-module-interface -fprebuilt-module-path=%t -o %t/C.pcm
// RUN: %clang_cc1 -std=c++20 %t/UseGlobal.cpp -fprebuilt-module-path=%t -verify -fsyntax-only
//--- impl.cppm
module M:impl;
class A {};
//--- M.cppm
export module M;
import :impl;
export A f();
//--- Use.cpp
import M;
void test() {
A a; // expected-error {{declaration of 'A' must be imported from module 'M:impl'}}
// expected-error@-1 {{definition of 'A' must be imported from module 'M:impl'}} expected-error@-1 {{}}
// expected-note@impl.cppm:2 {{declaration here is not visible}}
// expected-note@impl.cppm:2 {{definition here is not reachable}} expected-note@impl.cppm:2 {{}}
}
//--- UseInPartA.cppm
// expected-no-diagnostics
export module M:partA;
import :impl;
void test() {
A a;
}
//--- UseInAnotherModule.cppm
export module B;
import M;
void test() {
A a; // expected-error {{declaration of 'A' must be imported from module 'M:impl'}}
// expected-error@-1 {{definition of 'A' must be imported from module 'M:impl'}} expected-error@-1 {{}}
// expected-note@impl.cppm:2 {{declaration here is not visible}}
// expected-note@impl.cppm:2 {{definition here is not reachable}} expected-note@impl.cppm:2 {{}}
}
//--- Private.cppm
export module A;
module :private;
class A {};
void test() {
A a;
}
//--- TryUseFromPrivate.cpp
import A;
void test() {
A a; // expected-error {{unknown type name 'A'}}
}
//--- Global.cppm
module;
class A{};
export module C;
void test() {
A a;
}
//--- UseGlobal.cpp
import C;
void test() {
A a; // expected-error {{'A' must be declared before it is used}}
// expected-note@Global.cppm:2 {{declaration here is not visible}}
}
|
