annotate gcc/testsuite/g++.dg/cpp1z/inh-ctor38.C @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 // { dg-do run { target c++11 } }
kono
parents:
diff changeset
2 // PR78495 failed to propagate pass-by-value struct to base ctor.
kono
parents:
diff changeset
3
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
4 static int moves = 0;
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
5
111
kono
parents:
diff changeset
6 struct Ptr {
kono
parents:
diff changeset
7 void *ptr = 0;
kono
parents:
diff changeset
8
kono
parents:
diff changeset
9 Ptr() {}
kono
parents:
diff changeset
10 Ptr(Ptr const&) = delete;
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
11 Ptr(Ptr&& other) : ptr (other.ptr) {moves++;}
111
kono
parents:
diff changeset
12 };
kono
parents:
diff changeset
13
kono
parents:
diff changeset
14 struct Base {
kono
parents:
diff changeset
15 Ptr val;
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
16 Base(Ptr val_);
111
kono
parents:
diff changeset
17 };
kono
parents:
diff changeset
18
kono
parents:
diff changeset
19 struct Derived: Base {
kono
parents:
diff changeset
20 using Base::Base;
kono
parents:
diff changeset
21 };
kono
parents:
diff changeset
22
kono
parents:
diff changeset
23 void *Foo () {
kono
parents:
diff changeset
24 Ptr ptr;
kono
parents:
diff changeset
25
kono
parents:
diff changeset
26 Derived d(static_cast<Ptr&&>(ptr));
kono
parents:
diff changeset
27
kono
parents:
diff changeset
28 return d.val.ptr;
kono
parents:
diff changeset
29 }
kono
parents:
diff changeset
30
kono
parents:
diff changeset
31 int main () {
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
32 if (Foo ())
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
33 return 1;
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
34
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
35 if (moves != 2)
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
36 return 2;
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
37
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
38 return 0;
111
kono
parents:
diff changeset
39 }
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
40
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
41 Base::Base(Ptr val_) : val(static_cast<Ptr&&>(val_)) {}