visibility-in-instantiation.cpp source code [clang_source_code/test/Modules/visibility-in-instantiation.cpp]

1	// RUN: %clang_cc1 -std=c++11 -fmodules %s -verify
2
3	#pragma clang module build M
4	module M { module A {} module B {} module C {} }
5	#pragma clang module contents
6
7	#pragma clang module begin M.A
8	template<typename U> struct X {
9	template<typename T> void f();
10	};
11	#pragma clang module end
12
13	#pragma clang module begin M.B
14	template<typename T, typename U = void> struct ST { static void f(); };
15	#pragma clang module end
16
17	#pragma clang module begin M.C
18	template<typename U> struct X;
19	void foo(X<int>);
20	#pragma clang module end
21	#pragma clang module endbuild
22
23	#pragma clang module build N
24	module N {}
25	#pragma clang module contents
26	#pragma clang module begin N
27	#pragma clang module import M.B // not re-exported
28
29	template<typename U> struct X {
30	template<typename T> void f();
31	template<typename T> void g();
32	};
33
34	template<typename U> template<typename T>
35	void X<U>::f() {
36	ST<T>::f(); // definition and default argument found in M.B
37	foo(*this); // found by ADL in M.C
38	};
39
40	#pragma clang module import M.C // not re-exported
41	#pragma clang module end
42	#pragma clang module endbuild
43
44	#pragma clang module import N
45	void g() {
46	X<int>().f<int>();
47
48	ST<int>::f(); // expected-error {{must be imported from module 'M.B'}}
49	foo(X<int>()); // expected-error {{must be imported from module 'M.C'}}
50	// expected-note@* 2{{previous declaration is here}}
51	}
52

Clang Project