blob: 113a1fbac638c932a787bb4e9abaf7a754f432ec (
plain)
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
80
81
82
83
84
85
86
87
88
89
90
|
// RUN: %clang_cc1 -std=c++14 -fmodules -verify %s -emit-llvm-only
// expected-no-diagnostics
#pragma clang module build A
module A {}
#pragma clang module contents
#pragma clang module begin A
template<typename T> auto f() { return []{}; }
#pragma clang module end
#pragma clang module endbuild
#pragma clang module build B
module B {}
#pragma clang module contents
#pragma clang module begin B
#pragma clang module import A
inline auto x1() { return f<int>(); }
inline auto z() { return []{}; }
inline auto x2() { return z(); }
struct Function {
template<typename T>
Function(T t) : p(new T((T&&)t)) {}
void *p;
};
struct Outer {
struct Inner {
Inner() {}
Function f = []{};
};
Outer(Inner = Inner());
};
inline void use_nested_1() { Outer o; }
#pragma clang module end
#pragma clang module endbuild
#pragma clang module build C
module C {}
#pragma clang module contents
#pragma clang module begin C
#pragma clang module import A
inline auto y1() { return f<int>(); }
inline auto z() { return []{}; }
inline auto y2() { return z(); }
inline auto q() { return []{}; }
inline auto y3() { return q(); }
struct Function {
template<typename T>
Function(T t) : p(new T((T&&)t)) {}
void *p;
};
struct Outer {
struct Inner {
Inner() {}
Function f = []{};
};
Outer(Inner = Inner());
};
inline void use_nested_2() { Outer o; }
#pragma clang module end
#pragma clang module endbuild
inline auto q() { return []{}; }
inline auto x3() { return q(); }
#pragma clang module import B
#pragma clang module import C
using T = decltype(x1);
using T = decltype(y1);
using U = decltype(x2);
using U = decltype(y2);
using V = decltype(x3);
using V = decltype(y3);
#pragma clang module import A
void (*p)() = f<int>();
void use_nested() {
use_nested_1();
use_nested_2();
}
|
