blob: b19cccfd0768708d0f536c1e9c3c60b2e106bd8a (
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
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
|
// If this test fails, it should be investigated under Debug builds.
// Before the PR, this test was violating an assertion.
// RUN: rm -rf %t
// RUN: mkdir -p %t
// RUN: split-file %s %t
// RUN: %clang_cc1 -std=c++20 -emit-obj -fmodules \
// RUN: -fmodule-map-file=%t/module.modulemap \
// RUN: -fmodules-cache-path=%t %t/a.cpp
//--- module.modulemap
module ebo {
header "ebo.h"
}
module fwd {
header "fwd.h"
}
module s {
header "s.h"
export *
}
module mod {
header "a.h"
header "b.h"
}
//--- ebo.h
#pragma once
namespace N { inline namespace __1 {
template <typename T>
struct EBO : T {
EBO() = default;
};
}}
//--- fwd.h
#pragma once
namespace N { inline namespace __1 {
template <typename T>
struct Empty;
template <typename T>
struct BS;
using S = BS<Empty<char>>;
}}
//--- s.h
#pragma once
#include "fwd.h"
#include "ebo.h"
namespace N { inline namespace __1 {
template <typename T>
struct Empty {};
template <typename T>
struct BS {
EBO<T> _;
void f();
};
extern template void BS<Empty<char>>::f();
}}
//--- b.h
#pragma once
#include "s.h"
struct B {
void f() {
N::S{}.f();
}
};
//--- a.h
#pragma once
#include "s.h"
struct A {
void f(int) {}
void f(const N::S &) {}
void g();
};
//--- a.cpp
#include "a.h"
void A::g() { f(0); }
// expected-no-diagnostics
|
