|
236
|
1 // RUN: rm -rf %t
|
|
|
2 // RUN: mkdir %t
|
|
|
3 // RUN: split-file %s %t
|
|
|
4 //
|
|
|
5 // RUN: %clang_cc1 -std=c++20 %t/foo.cppm -I%t -emit-module-interface -o %t/foo.pcm
|
|
|
6 // RUN: %clang_cc1 -fprebuilt-module-path=%t -std=c++20 %t/use.cpp -I%t/. -fsyntax-only -verify
|
|
|
7
|
|
|
8 //--- foo.h
|
|
|
9 template <typename T = int>
|
|
|
10 T v;
|
|
|
11
|
|
|
12 template <int T = 8>
|
|
|
13 int v2;
|
|
|
14
|
|
|
15 template <typename T>
|
|
|
16 class my_array {};
|
|
|
17
|
|
|
18 template <template <typename> typename C = my_array>
|
|
|
19 int v3;
|
|
|
20
|
|
|
21 template <typename T, int *i = nullptr>
|
|
|
22 T v4;
|
|
|
23
|
|
|
24 template <typename T, T *i = nullptr>
|
|
|
25 T v5;
|
|
|
26
|
|
|
27 inline int a = 43;
|
|
|
28 template <typename T, int *i = &a>
|
|
|
29 T v6;
|
|
|
30
|
|
|
31 inline int b = 43;
|
|
|
32 template <typename T, T *i = &b>
|
|
|
33 T v7;
|
|
|
34
|
|
|
35 template <int T = (3 > 2)>
|
|
|
36 int v8;
|
|
|
37
|
|
|
38 consteval int getInt() {
|
|
|
39 return 55;
|
|
|
40 }
|
|
|
41 template <int T = getInt()>
|
|
|
42 int v9;
|
|
|
43
|
|
|
44 //--- foo_bad.h
|
|
|
45 template <typename T = double>
|
|
|
46 T v;
|
|
|
47
|
|
|
48 template <int T = 9>
|
|
|
49 int v2;
|
|
|
50
|
|
|
51 template <typename T>
|
|
|
52 class others_array {};
|
|
|
53
|
|
|
54 template <template <typename> typename C = others_array>
|
|
|
55 int v3;
|
|
|
56
|
|
|
57 static int a;
|
|
|
58 consteval int *getIntPtr() {
|
|
|
59 return &a;
|
|
|
60 }
|
|
|
61 template <typename T, int *i = getIntPtr()>
|
|
|
62 T v4;
|
|
|
63
|
|
|
64 consteval void *getVoidPtr() {
|
|
|
65 return &a;
|
|
|
66 }
|
|
|
67 template <typename T, T *i = getVoidPtr()>
|
|
|
68 T v5;
|
|
|
69
|
|
|
70 inline int a_ = 43;
|
|
|
71 template <typename T, int *i = &a_>
|
|
|
72 T v6;
|
|
|
73
|
|
|
74 inline int b_ = 43;
|
|
|
75 template <typename T, T *i = &b_>
|
|
|
76 T v7;
|
|
|
77
|
|
|
78 template <int T = -1>
|
|
|
79 int v8;
|
|
|
80
|
|
|
81 consteval int getInt2() {
|
|
|
82 return 55;
|
|
|
83 }
|
|
|
84 template <int T = getInt2()>
|
|
|
85 int v9;
|
|
|
86
|
|
|
87 //--- foo.cppm
|
|
|
88 module;
|
|
|
89 #include "foo.h"
|
|
|
90 export module foo;
|
|
|
91
|
|
|
92 //--- use.cpp
|
|
|
93 import foo;
|
|
|
94 #include "foo_bad.h"
|
|
|
95
|
|
|
96 // expected-error@foo_bad.h:1 {{template parameter default argument is inconsistent with previous definition}}
|
|
|
97 // expected-note@foo.h:1 {{previous default template argument defined in module foo.<global>}}
|
|
|
98 // expected-error@foo_bad.h:4 {{template parameter default argument is inconsistent with previous definition}}
|
|
|
99 // expected-note@foo.h:4 {{previous default template argument defined in module foo.<global>}}
|
|
|
100 // expected-error@foo_bad.h:10 {{template parameter default argument is inconsistent with previous definition}}
|
|
|
101 // expected-note@foo.h:10 {{previous default template argument defined in module foo.<global>}}
|
|
|
102 // expected-error@foo_bad.h:17 {{template parameter default argument is inconsistent with previous definition}}
|
|
|
103 // expected-note@foo.h:13 {{previous default template argument defined in module foo.<global>}}
|
|
|
104 // expected-error@foo_bad.h:23 {{template parameter default argument is inconsistent with previous definition}}
|
|
|
105 // expected-note@foo.h:16 {{previous default template argument defined in module foo.<global>}}
|
|
|
106 // expected-error@foo_bad.h:27 {{template parameter default argument is inconsistent with previous definition}}
|
|
|
107 // expected-note@foo.h:20 {{previous default template argument defined in module foo.<global>}}
|
|
|
108 // expected-error@foo_bad.h:31 {{template parameter default argument is inconsistent with previous definition}}
|
|
|
109 // expected-note@foo.h:24 {{previous default template argument defined in module foo.<global>}}
|
|
|
110 // expected-error@foo_bad.h:34 {{template parameter default argument is inconsistent with previous definition}}
|
|
|
111 // expected-note@foo.h:27 {{previous default template argument defined in module foo.<global>}}
|
|
|
112 // expected-error@foo_bad.h:40 {{template parameter default argument is inconsistent with previous definition}}
|
|
|
113 // expected-note@foo.h:33 {{previous default template argument defined in module foo.<global>}}
|
