annotate gcc/testsuite/g++.old-deja/g++.mike/p2846a.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 }
kono
parents:
diff changeset
2 // Shows that problem of initializing one object's vtable pointer from
kono
parents:
diff changeset
3 // another object's vtable pointer when doing a default copy of it
kono
parents:
diff changeset
4 // and the vtable pointer involved is the main one.
kono
parents:
diff changeset
5
kono
parents:
diff changeset
6 // Correct answer is B::print.
kono
parents:
diff changeset
7 // g++ prints D::print, which is wrong. Cfront gets is right.
kono
parents:
diff changeset
8
kono
parents:
diff changeset
9 // prms-id: 2846
kono
parents:
diff changeset
10
kono
parents:
diff changeset
11 extern "C" int printf(const char *, ...);
kono
parents:
diff changeset
12 extern "C" void exit(int);
kono
parents:
diff changeset
13
kono
parents:
diff changeset
14 class B {
kono
parents:
diff changeset
15 public:
kono
parents:
diff changeset
16 virtual void print(void) const { printf("B::print\n"); }
kono
parents:
diff changeset
17 };
kono
parents:
diff changeset
18
kono
parents:
diff changeset
19 class D : public B {
kono
parents:
diff changeset
20 public:
kono
parents:
diff changeset
21 void print(void) const { printf("D::print\n"); exit(1); }
kono
parents:
diff changeset
22 B compute(void) const;
kono
parents:
diff changeset
23 };
kono
parents:
diff changeset
24
kono
parents:
diff changeset
25 B D::compute(void) const
kono
parents:
diff changeset
26 {
kono
parents:
diff changeset
27 B sub(*(B*)this);
kono
parents:
diff changeset
28 return sub;
kono
parents:
diff changeset
29 }
kono
parents:
diff changeset
30
kono
parents:
diff changeset
31 int main () {
kono
parents:
diff changeset
32 D titi;
kono
parents:
diff changeset
33 titi.compute().print();
kono
parents:
diff changeset
34 return 0;
kono
parents:
diff changeset
35 }