gcc/testsuite/g++.dg/cpp2a/constexpr-virtual7.C

   1 // P1064R0
   2 // { dg-do compile }
   3 // { dg-options "-std=c++2a" }
   4
   5 struct X1
   6 {
   7   virtual int f() const = 0;
   8 };
   9
  10 struct X2: public X1
  11 {
  12   constexpr virtual int f() const { return 2; }
  13 };
  14
  15 struct X3: public X2
  16 {
  17   virtual int f() const { return 3; }
  18 };
  19
  20 struct X4: public X3
  21 {
  22   constexpr virtual int f() const { return 4; }
  23 };
  24
  25 constexpr int (X1::*pf)() const = &X1::f;
  26
  27 constexpr X2 x2;
  28
  29 struct S
  30 {
  31   int i, j;
  32   constexpr S() : i(x2.f()), j((x2.*pf)()) { }
  33 };
  34
  35 static_assert(S().i == 2);
  36 static_assert(S().j == 2);
  37
  38 constexpr X1 const& r2 = x2;
  39
  40 struct S2
  41 {
  42   int i, j;
  43   constexpr S2() : i(r2.f()), j((r2.*pf)()) { }
  44 };
  45
  46 static_assert(S2().i == 2);
  47 static_assert(S2().j == 2);
  48
  49 constexpr X1 const* p2 = &x2;
  50 struct S3
  51 {
  52   int i, j;
  53   constexpr S3() : i(p2->f()), j((p2->*pf)()) { }
  54 };
  55
  56 static_assert(S3().i == 2);
  57 static_assert(S3().j == 2);
  58
  59 constexpr X4 x4;
  60 struct S4
  61 {
  62   int i, j;
  63   constexpr S4() : i(x4.f()), j((x4.*pf)()) { }
  64 };
  65
  66 static_assert(S4().i == 4);
  67 static_assert(S4().j == 4);
  68
  69 constexpr X1 const& r4 = x4;
  70 struct S5
  71 {
  72   int i, j;
  73   constexpr S5() : i(r4.f()), j((r4.*pf)()) { }
  74 };
  75
  76 static_assert(S5().i == 4);
  77 static_assert(S5().j == 4);
  78
  79 constexpr X1 const* p4 = &x4;
  80 struct S6
  81 {
  82   int i, j;
  83   constexpr S6() : i(p4->f()), j((p4->*pf)()) { }
  84 };
  85
  86 static_assert(S6().i == 4);
  87 static_assert(S6().j == 4);