blob: dee41bda210b2a7d26c051540766f0ff41a91c25 (
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
|
// RUN: rm -rf %t
// RUN: mkdir -p %t
// RUN: split-file %s %t
//
// RUN: %clang_cc1 -std=c++20 %t/A.cppm -emit-module-interface -o %t/A.pcm
// RUN: %clang_cc1 -std=c++20 -fprebuilt-module-path=%t %t/Use.cpp \
// RUN: -fsyntax-only -verify
//
// RUN: %clang_cc1 -std=c++20 %t/B.cppm -emit-module-interface -o %t/B.pcm
// RUN: %clang_cc1 -std=c++20 -fprebuilt-module-path=%t %t/Use.cpp \
// RUN: -fsyntax-only -verify -DIMPORT_MODULE_B
//--- records.h
struct A {
int a;
int b;
int c;
};
struct NoNameEntity {
struct {
int a;
int b;
int c;
};
};
union U {
int a;
int b;
int c;
};
//--- another_records.h
struct A {
int a;
double b;
float c;
};
struct NoNameEntity {
struct {
int a;
unsigned b;
long c;
};
};
union U {
int a;
double b;
short c;
};
//--- A.cppm
module;
#include "records.h"
export module A;
export using ::A;
export using ::NoNameEntity;
export using ::U;
export constexpr A a_a{};
export constexpr NoNameEntity NoName_a{};
export constexpr U u_a{};
//--- B.cppm
module;
#include "records.h"
export module B;
export using ::A;
export using ::NoNameEntity;
export using ::U;
export constexpr A a_b{};
export constexpr NoNameEntity NoName_b{};
export constexpr U u_b{};
//--- Use.cpp
// expected-no-diagnostics
import A;
#ifdef IMPORT_MODULE_B
import B;
static_assert(__is_same(decltype(a_a), decltype(a_b)));
static_assert(__is_same(decltype(NoName_a), decltype(NoName_b)));
static_assert(__is_same(decltype(u_a), decltype(u_b)));
#endif
void use1() {
A a; // Shouldn't be ambiguous after import B;
a.a = 43;
a.b = 44;
a.c = 45;
NoNameEntity Anonymous;
Anonymous.a = 46;
Anonymous.b = 47;
Anonymous.c = 48;
U u;
u.a = 43;
}
|
