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
|
// PR c++/105550
// { dg-do compile { target c++14 } }
struct A {
const A *p = this;
};
struct B {
const B *p = this;
constexpr operator A() const { return {}; }
};
constexpr A
bar (A)
{
return {};
}
constexpr A baz() { return {}; }
struct E {
A a1 = true ? A{} : A{};
A a2 = true ? A{} : B{};
A a3 = false ? A{} : B{};
A a4 = false ? B{} : B{};
A a5 = A{};
A a6 = B{};
A a7 = false ? B{} : (true ? A{} : A{});
A a8 = false ? (true ? A{} : B{}) : (true ? A{} : A{});
A a9 = (A{});
A a10 = (true, A{});
A a11 = bar (A{});
A a12 = baz ();
A a13 = (A{}, A{});
};
constexpr E e{};
constexpr A a1 = true ? A{} : A{};
constexpr A a2 = true ? A{} : B{};
constexpr A a3 = false ? A{} : B{};
constexpr A a4 = false ? B{} : B{};
constexpr A a5 = A{};
constexpr A a6 = B{};
constexpr A a7 = false ? B{} : (true ? A{} : A{});
constexpr A a8 = false ? (true ? A{} : B{}) : (true ? A{} : A{});
constexpr A a9 = (A{});
constexpr A a10 = (true, A{});
constexpr A a11 = bar (A{});
//static_assert(a10.p == &a10, ""); // bug, 105619
constexpr A a12 = baz ();
//static_assert(a11.p == &a11, ""); // bug, 105619
constexpr A a13 = (A{}, A{});
|
