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
|
// P0892R2
// { dg-do compile }
// Explicit { dg-require-effective-target exceptions_enabled } to avoid verify compiler messages FAILs for '-fno-exceptions'.
// { dg-options "-std=c++2a" }
constexpr int fn0 () { return 0; }
constexpr int fn1 () { return 1; }
struct S {
explicit(true) S(int);
explicit(1 == 0) S(int, int);
explicit(fn0()) S(int, int, int);
explicit(fn1()) S(int, int, int, int);
};
struct X {
static const bool value = true;
static constexpr bool foo () { return 1; }
};
struct T {
explicit(true ? 1 : throw 1) T(int);
explicit(true || true ? 1 : throw 1) T(int, int);
explicit(X::value) T(int, int, int);
explicit(X::foo ()) T(int, int, int, int);
};
struct W {
constexpr operator bool() { return true; };
};
struct W2 {
constexpr operator bool() { return false; };
};
struct U {
explicit(W()) U(int);
explicit(W2()) U(int, int);
};
int
main ()
{
S s1 = { 1 }; // { dg-error "converting" }
S s1x{ 1 };
S s2 = { 2, 3 };
S s3 = { 4, 5, 6 };
S s4 = { 7, 8, 9, 10 }; // { dg-error "converting" }
S s4x{ 7, 8, 9, 10 };
T t1 = { 1 }; // { dg-error "converting" }
T t2 = { 1, 2 }; // { dg-error "converting" }
T t3 = { 1, 2, 3 }; // { dg-error "converting" }
T t4 = { 1, 2, 3, 4 }; // { dg-error "converting" }
T t5{ 1 };
T t6{ 1, 2 };
T t7{ 1, 2, 3 };
T t8{ 1, 2, 3, 4 };
U u1 = { 1 }; // { dg-error "converting" }
U u2{ 1 };
U u3 = { 1, 2 };
U u4 { 1, 2 };
}
|
