annotate gcc/testsuite/g++.old-deja/g++.mike/misc14.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 // GROUPS passed
kono
parents:
diff changeset
3 extern "C" int printf (const char *, ...);
kono
parents:
diff changeset
4 extern "C" void exit(int);
kono
parents:
diff changeset
5
kono
parents:
diff changeset
6 class A {
kono
parents:
diff changeset
7 public:
kono
parents:
diff changeset
8 virtual ~A() {
kono
parents:
diff changeset
9 printf("FAIL\n");
kono
parents:
diff changeset
10 exit (1);
kono
parents:
diff changeset
11 }
kono
parents:
diff changeset
12 };
kono
parents:
diff changeset
13
kono
parents:
diff changeset
14 class B : public A {
kono
parents:
diff changeset
15 public:
kono
parents:
diff changeset
16 virtual ~B() {
kono
parents:
diff changeset
17 printf("PASS\n");
kono
parents:
diff changeset
18 exit (0);
kono
parents:
diff changeset
19 }
kono
parents:
diff changeset
20 };
kono
parents:
diff changeset
21
kono
parents:
diff changeset
22 int main() {
kono
parents:
diff changeset
23 B b;
kono
parents:
diff changeset
24 A *ap = &b;
kono
parents:
diff changeset
25 ap->~A(); // This should call the destructor virtually.
kono
parents:
diff changeset
26 printf("FAIL\n");
kono
parents:
diff changeset
27 return 1;
kono
parents:
diff changeset
28 }