blob: 00d3372bfedc1874bbafbcf341660399f460bc25 (
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
|
// 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 S0 {
explicit(false) operator int();
explicit(1 == 0) operator double();
explicit(fn0()) operator char();
};
struct S1 {
explicit(true) operator int();
explicit(1 == 1) operator double();
explicit(fn1()) operator char();
};
struct X {
static const bool value = true;
static constexpr bool foo () { return 1; }
};
struct T {
explicit(true ? 1 : throw 1) operator int();
explicit(true || true ? 1 : throw 1) operator double();
explicit(X::value) operator char();
explicit(X::foo ()) operator long();
};
struct W {
constexpr operator bool() { return true; };
};
struct W2 {
constexpr operator bool() { return false; };
};
struct U1 {
explicit(W()) operator int();
};
struct U2 {
explicit(W2()) operator int();
};
int
main ()
{
S0 s0;
S1 s1;
int i0 = s0;
int i1 = s1; // { dg-error "cannot convert" }
double d0 = s0;
double d1 = s1; // { dg-error "cannot convert" }
char c0 = s0;
char c1 = s1; // { dg-error "cannot convert" }
T t;
int i2 = t; // { dg-error "cannot convert" }
double d2 = t; // { dg-error "cannot convert" }
char c2 = t; // { dg-error "cannot convert" }
long l1 = t; // { dg-error "cannot convert" }
U1 u1;
int i3 = u1; // { dg-error "cannot convert" }
U2 u2;
int i4 = u2;
}
|
