annotate gcc/testsuite/g++.dg/cpp0x/constexpr-virtual6.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 // PR c++/70393
kono
parents:
diff changeset
2 // { dg-do run { target c++11 } }
kono
parents:
diff changeset
3
kono
parents:
diff changeset
4 /* 'ab' has a static initializer, but we flubbed the initializer,
kono
parents:
diff changeset
5 because of B being the primary base. */
kono
parents:
diff changeset
6
kono
parents:
diff changeset
7 struct A
kono
parents:
diff changeset
8 {
kono
parents:
diff changeset
9 int a = 1;
kono
parents:
diff changeset
10 };
kono
parents:
diff changeset
11
kono
parents:
diff changeset
12 struct B
kono
parents:
diff changeset
13 {
kono
parents:
diff changeset
14 B *element = (B*)2;
kono
parents:
diff changeset
15
kono
parents:
diff changeset
16 virtual int vfunc() = 0;
kono
parents:
diff changeset
17
kono
parents:
diff changeset
18 int call_element()
kono
parents:
diff changeset
19 {
kono
parents:
diff changeset
20 return element->vfunc();
kono
parents:
diff changeset
21 }
kono
parents:
diff changeset
22
kono
parents:
diff changeset
23 void set_element()
kono
parents:
diff changeset
24 {
kono
parents:
diff changeset
25 element = this;
kono
parents:
diff changeset
26 }
kono
parents:
diff changeset
27 };
kono
parents:
diff changeset
28
kono
parents:
diff changeset
29 struct AB : public A, public B
kono
parents:
diff changeset
30 {
kono
parents:
diff changeset
31 int vfunc()
kono
parents:
diff changeset
32 {
kono
parents:
diff changeset
33 return 0;
kono
parents:
diff changeset
34 }
kono
parents:
diff changeset
35 };
kono
parents:
diff changeset
36
kono
parents:
diff changeset
37 static AB ab;
kono
parents:
diff changeset
38
kono
parents:
diff changeset
39 int main()
kono
parents:
diff changeset
40 {
kono
parents:
diff changeset
41 if (ab.a != 1)
kono
parents:
diff changeset
42 return 1;
kono
parents:
diff changeset
43 if (ab.element != (void*)2)
kono
parents:
diff changeset
44 return 2;
kono
parents:
diff changeset
45
kono
parents:
diff changeset
46 ab.set_element();
kono
parents:
diff changeset
47 return ab.call_element();
kono
parents:
diff changeset
48 }
kono
parents:
diff changeset
49