gcc/testsuite/g++.dg/cpp2a/consteval-virtual2.C


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

// { dg-do compile { target c++20 } }

struct A
{
  virtual consteval int f() const { return 1; };
};

struct B: A
{
  virtual consteval int f() const { return 2; };
  virtual void g() { }
};

consteval int f()
{
  const A& ar = B();
  return ar.f();
}

static_assert (f() == 2);

B b;