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
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
|
// P0784R7
// { dg-do compile { target c++20 } }
struct S
{
constexpr S () : s (0) {}
constexpr ~S () {}
int s;
};
struct T // { dg-message "'T' is not literal because" "" { target { ! implicit_constexpr } } }
{ // { dg-message "'T' does not have 'constexpr' destructor" "" { target { ! implicit_constexpr } } .-1 }
constexpr T () : t (0) {}
~T () {} // { dg-message "defaulted destructor calls non-'constexpr' 'T::~T\\(\\)'" "" { target { ! implicit_constexpr } } }
int t;
};
struct U : public S
{
constexpr U () : u (0) {}
constexpr ~U () = default; // { dg-error "explicitly defaulted function 'constexpr U::~U\\(\\)' cannot be declared 'constexpr' because the implicit declaration is not 'constexpr'" "" { target { ! implicit_constexpr } } }
int u;
T t;
};
struct V : virtual public S
{
V () : v (0) {}
constexpr ~V () = default; // { dg-error "explicitly defaulted function 'constexpr V::~V\\(\\)' cannot be declared 'constexpr' because the implicit declaration is not 'constexpr'" }
int v;
};
struct W0
{
constexpr W0 () : w (0) {}
constexpr W0 (int x) : w (x) {}
constexpr ~W0 () { if (w == 5) asm (""); w = 3; }
int w;
};
struct W1
{
constexpr W1 () : w (0) {}
constexpr W1 (int x) : w (x) {}
constexpr ~W1 () { if (w == 5) asm (""); w = 3; } // { dg-error "inline assembly is not a constant expression" }
// { dg-message "only unevaluated inline assembly is allowed in a 'constexpr' function" "" { target *-*-* } .-1 }
int w;
};
struct W2
{
constexpr W2 () : w (0) {}
constexpr W2 (int x) : w (x) {}
constexpr ~W2 () { if (w == 5) asm (""); w = 3; } // { dg-error "inline assembly is not a constant expression" }
// { dg-message "only unevaluated inline assembly is allowed in a 'constexpr' function" "" { target *-*-* } .-1 }
int w;
};
struct W3
{
constexpr W3 () : w (0) {}
constexpr W3 (int x) : w (x) {}
constexpr ~W3 () { if (w == 5) asm (""); w = 3; } // { dg-error "inline assembly is not a constant expression" }
// { dg-message "only unevaluated inline assembly is allowed in a 'constexpr' function" "" { target *-*-* } .-1 }
int w;
};
struct W4
{
constexpr W4 () : w (0) {}
constexpr W4 (int x) : w (x) {}
constexpr ~W4 () { if (w == 5) asm (""); w = 3; } // { dg-error "inline assembly is not a constant expression" }
// { dg-message "only unevaluated inline assembly is allowed in a 'constexpr' function" "" { target *-*-* } .-1 }
int w;
};
struct W5
{
constexpr W5 () : w (0) {}
constexpr W5 (int x) : w (x) {}
constexpr ~W5 () { if (w == 5) asm (""); w = 3; } // { dg-error "inline assembly is not a constant expression" }
// { dg-message "only unevaluated inline assembly is allowed in a 'constexpr' function" "" { target *-*-* } .-1 }
int w;
};
struct W6
{
constexpr W6 () : w (0) {}
constexpr W6 (int x) : w (x) {}
constexpr ~W6 () { if (w == 5) asm (""); w = 3; } // { dg-error "inline assembly is not a constant expression" }
// { dg-message "only unevaluated inline assembly is allowed in a 'constexpr' function" "" { target *-*-* } .-1 }
int w;
};
struct W7
{
constexpr W7 () : w (0) {}
constexpr W7 (int x) : w (x) {}
constexpr ~W7 () { if (w == 5) asm (""); w = 3; } // { dg-error "inline assembly is not a constant expression" }
// { dg-message "only unevaluated inline assembly is allowed in a 'constexpr' function" "" { target *-*-* } .-1 }
int w;
};
struct W8
{
constexpr W8 () : w (0) {}
constexpr W8 (int x) : w (x) {}
constexpr ~W8 () { if (w == 5) asm (""); w = 3; } // { dg-error "inline assembly is not a constant expression" }
// { dg-message "only unevaluated inline assembly is allowed in a 'constexpr' function" "" { target *-*-* } .-1 }
int w;
};
struct X : public T
{
constexpr X () : x (0) {}
constexpr ~X () = default; // { dg-error "explicitly defaulted function 'constexpr X::~X\\(\\)' cannot be declared 'constexpr' because the implicit declaration is not 'constexpr'" "" { target { ! implicit_constexpr } } }
int x;
};
constexpr S s;
constexpr T t; // { dg-error "the type 'const T' of 'constexpr' variable 't' is not literal" "" { target { ! implicit_constexpr } } }
constexpr W0 w1;
constexpr W0 w2 = 12;
constexpr W1 w3 = 5; // { dg-message "in 'constexpr' expansion of" }
constexpr W0 w4[3] = { 1, 2, 3 };
constexpr W2 w5[3] = { 4, 5, 6 }; // { dg-message "in 'constexpr' expansion of" }
void
f1 ()
{
constexpr S s2;
constexpr W0 w6;
constexpr W0 w7 = 12;
constexpr W3 w8 = 5; // { dg-message "in 'constexpr' expansion of" }
constexpr W0 w9[3] = { 1, 2, 3 };
constexpr W4 w10[3] = { 4, 5, 6 }; // { dg-message "in 'constexpr' expansion of" }
}
constexpr int
f2 ()
{
constexpr S s3;
constexpr W0 w11;
constexpr W0 w12 = 12;
constexpr W5 w13 = 5; // { dg-message "in 'constexpr' expansion of" }
constexpr W0 w14[3] = { 1, 2, 3 };
constexpr W6 w15[3] = { 4, 5, 6 }; // { dg-message "in 'constexpr' expansion of" }
return 0;
}
constexpr int
f3 ()
{
S s3;
W0 w11;
W0 w12 = 12;
W0 w14[3] = { 1, 2, 3 };
return 0;
}
constexpr int x3 = f3 ();
constexpr int
f4 ()
{
W7 w13 = 5;
return 0;
} // { dg-message "in 'constexpr' expansion of" }
constexpr int x4 = f4 (); // { dg-message "in 'constexpr' expansion of" }
constexpr int
f5 ()
{
W8 w15[3] = { 4, 5, 6 }; // { dg-message "in 'constexpr' expansion of" }
return 0;
}
constexpr int x5 = f5 (); // { dg-message "in 'constexpr' expansion of" }
void
f6 ()
{
constexpr T t2; // { dg-error "the type 'const T' of 'constexpr' variable 't2' is not literal" "" { target { ! implicit_constexpr } } }
}
constexpr int
f7 ()
{
constexpr T t3; // { dg-error "the type 'const T' of 'constexpr' variable 't3' is not literal" "" { target { ! implicit_constexpr } } }
return 0;
}
constexpr int
f8 ()
{
T t4; // { dg-error "variable 't4' of non-literal type 'T' in 'constexpr' function only available with" "" { target { c++20_down && { ! implicit_constexpr } } } }
return 0;
}
|
