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
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
|
// RUN: rm -rf %t
// RUN: mkdir %t
// RUN: split-file %s %t
//
// RUN: %clang_cc1 -std=c++20 %t/foo.cppm -I%t -emit-module-interface -o %t/foo.pcm
// RUN: %clang_cc1 -fprebuilt-module-path=%t -std=c++20 %t/use.cpp -I%t/. -fsyntax-only -verify
// RUN: %clang_cc1 -std=c++20 %t/foo.cppm -I%t -emit-reduced-module-interface -o %t/foo.pcm
// RUN: %clang_cc1 -fprebuilt-module-path=%t -std=c++20 %t/use.cpp -I%t/. -fsyntax-only -verify
//--- foo.h
template <typename T = int>
T v;
template <int T = 8>
int v2;
template <typename T>
class my_array {};
template <template <typename> typename C = my_array>
int v3;
template <typename T, int *i = nullptr>
T v4;
template <typename T, T *i = nullptr>
T v5;
inline int a = 43;
template <typename T, int *i = &a>
T v6;
inline int b = 43;
template <typename T, T *i = &b>
T v7;
template <int T = (3 > 2)>
int v8;
consteval int getInt() {
return 55;
}
template <int T = getInt()>
int v9;
//--- foo_bad.h
template <typename T = double>
T v;
template <int T = 9>
int v2;
template <typename T>
class others_array {};
template <template <typename> typename C = others_array>
int v3;
static int a;
consteval int *getIntPtr() {
return &a;
}
template <typename T, int *i = getIntPtr()>
T v4;
consteval void *getVoidPtr() {
return &a;
}
template <typename T, T *i = getVoidPtr()>
T v5;
inline int a_ = 43;
template <typename T, int *i = &a_>
T v6;
inline int b_ = 43;
template <typename T, T *i = &b_>
T v7;
template <int T = -1>
int v8;
consteval int getInt2() {
return 55;
}
template <int T = getInt2()>
int v9;
//--- foo.cppm
module;
#include "foo.h"
export module foo;
export using ::v;
export using ::v2;
export using ::my_array;
export using ::v3;
export using ::v4;
export using ::v5;
export using ::v6;
export using ::v7;
export using ::v8;
export using ::v9;
//--- use.cpp
import foo;
#include "foo_bad.h"
// expected-error@foo_bad.h:1 {{template parameter default argument is inconsistent with previous definition}}
// expected-note@foo.h:1 {{previous default template argument defined in module foo.<global>}}
// expected-error@foo_bad.h:4 {{template parameter default argument is inconsistent with previous definition}}
// expected-note@foo.h:4 {{previous default template argument defined in module foo.<global>}}
// expected-error@foo_bad.h:10 {{template parameter default argument is inconsistent with previous definition}}
// expected-note@foo.h:10 {{previous default template argument defined in module foo.<global>}}
// expected-error@foo_bad.h:17 {{template parameter default argument is inconsistent with previous definition}}
// expected-note@foo.h:13 {{previous default template argument defined in module foo.<global>}}
// expected-error@foo_bad.h:23 {{template parameter default argument is inconsistent with previous definition}}
// expected-note@foo.h:16 {{previous default template argument defined in module foo.<global>}}
// expected-error@foo_bad.h:27 {{template parameter default argument is inconsistent with previous definition}}
// expected-note@foo.h:20 {{previous default template argument defined in module foo.<global>}}
// expected-error@foo_bad.h:31 {{template parameter default argument is inconsistent with previous definition}}
// expected-note@foo.h:24 {{previous default template argument defined in module foo.<global>}}
// expected-error@foo_bad.h:34 {{template parameter default argument is inconsistent with previous definition}}
// expected-note@foo.h:27 {{previous default template argument defined in module foo.<global>}}
// expected-error@foo_bad.h:40 {{template parameter default argument is inconsistent with previous definition}}
// expected-note@foo.h:33 {{previous default template argument defined in module foo.<global>}}
|
