blob: 22a9657e4a1623dbfdfd242255773c6eb44d613e (
plain)
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 c++/102753
// { dg-do compile { target c++20 } }
struct S {
constexpr S () : s (0) {}
consteval int foo () { return 1; }
virtual consteval int bar () { return 2; }
int s;
};
consteval int foo () { return 42; }
consteval auto baz () { return foo; }
consteval auto qux () { return &S::foo; }
consteval auto corge () { return &S::bar; }
consteval int
bar ()
{
S s;
constexpr auto fn1 = foo; // { dg-error "constant evaluation returns address of immediate function" }
constexpr auto fn2 = &foo; // { dg-error "constant evaluation returns address of immediate function" }
constexpr auto fn3 = &S::foo; // { dg-error "constant evaluation returns address of immediate function" }
constexpr auto fn4 = &S::bar; // { dg-error "constant evaluation returns address of immediate function" }
constexpr auto fn5 = baz (); // { dg-error "immediate evaluation returns address of immediate function" }
constexpr auto fn6 = qux (); // { dg-error "immediate evaluation returns address of immediate function" }
constexpr auto fn7 = corge (); // { dg-error "immediate evaluation returns address of immediate function" }
return fn1 () + fn2 () + (s.*fn3) () + (s.*fn4) () + fn5 () + (s.*fn6) () + (s.*fn7) ();
}
auto a = bar (); // { dg-error "bar" }
|
