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


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30

// PR libstdc++/123326
// { dg-do compile { target c++20 } }
// Key method is S::foo(int).  While it is constexpr and thus implicitly
// inline, it has gnu::gnu_inline attribute and so the method is only
// inlined but not emitted out of line in the current TU.
// { dg-final { scan-assembler-not "_ZTS1S:" } }
// { dg-final { scan-assembler-not "_ZTV1S:" } }
// { dg-final { scan-assembler-not "_ZTI1S:" } }

struct S {
  [[gnu::gnu_inline]] constexpr virtual int foo (int x) { return x + 42; }
  [[gnu::gnu_inline]] constexpr virtual ~S () {}
};
static_assert (S {}.foo (0) == 42);

int
bar (S s, int x)
{
  return s.foo (x);
}

auto q = &S::foo;

int
plugh (S &s, int x)
{
  return s.foo (x);
}

S s;