gcc/testsuite/g++.dg/inherit/covariant7.C

   1 // { dg-do compile }
   2 // { dg-prune-output "direct base" }
   3 // { dg-options "-fdump-lang-class" }
   4
   5 // Copyright (C) 2002 Free Software Foundation, Inc.
   6 // Contributed by Nathan Sidwell 27 Dec 2002 <nathan@codesourcery.com>
   7
   8 // We ICE'd
   9
  10 struct c0 {};
  11
  12 struct c1 : virtual c0
  13 {
  14   virtual c0 &f2() volatile;
  15 };
  16
  17 struct c2
  18 {
  19   int m;
  20 };
  21
  22 struct c3 : virtual c0, virtual c1, c2
  23 {
  24   virtual c1 &f2() volatile;
  25 };
  26
  27 struct c4 : virtual c3, virtual c0, virtual c1
  28 {
  29   int m;
  30 };
  31
  32 struct c6 : c0, c3, c4
  33 {
  34   virtual c1 &f2() volatile;
  35 };
  36
  37 // f2 appears four times in the c6 vtables:
  38 // once in c1-in-c3-in-c6 - covariant, virtual base, uses c1 vcall offset and c0 vbase offset
  39 // { dg-final { scan-lang-dump "24    .*c6::_ZTcv0_n16_v0_n12_NV2c62f2Ev" "class" { target ilp32 } } }
  40 // { dg-final { scan-lang-dump "48    .*c6::_ZTcv0_n32_v0_n24_NV2c62f2Ev" "class" { target lp64 } } }
  41 // once in c3-in-c6 - non-covariant, non-virtual base, calls f2 directly
  42 // { dg-final { scan-lang-dump "28    .*c6::f2" "class" { target ilp32 } } }
  43 // { dg-final { scan-lang-dump "56    .*c6::f2" "class" { target lp64 } } }
  44 // once in c1-in-c3-in-c4-in-c6 - lost primary
  45 // { dg-final { scan-lang-dump "80    .*0" "class" { target ilp32 } } }
  46 // { dg-final { scan-lang-dump "160   .*0" "class" { target lp64 } } }
  47 // once in c3-in-c4-in-c6 - c3 vcall offset
  48 // { dg-final { scan-lang-dump "84    .*c6::_ZTv0_n16_NV2c62f2Ev" "class" { target ilp32 } } }
  49 // { dg-final { scan-lang-dump "168   .*c6::_ZTv0_n32_NV2c62f2Ev" "class" { target lp64 } } }
  50