]> git.ipfire.org Git - thirdparty/gcc.git/commit
c++: Don't reject pointer to virtual method during constant evaluation [PR117615]
authorSimon Martin <simon@nasilyan.com>
Tue, 3 Dec 2024 13:30:43 +0000 (14:30 +0100)
committerSimon Martin <simon@nasilyan.com>
Wed, 4 Dec 2024 10:34:07 +0000 (11:34 +0100)
commit72a2380a306a1c3883cb7e4f99253522bc265af0
tree73187fcb4421d1e27712137c40f10bed94665b70
parent205591919214cb5610e9c3b2394f05a3cfaa7f68
c++: Don't reject pointer to virtual method during constant evaluation [PR117615]

We currently reject the following valid code:

=== cut here ===
struct Base {
    virtual void doit (int v) const {}
};
struct Derived : Base {
    void doit (int v) const {}
};
using fn_t = void (Base::*)(int) const;
struct Helper {
    fn_t mFn;
    constexpr Helper (auto && fn) : mFn(static_cast<fn_t>(fn)) {}
};
void foo () {
    constexpr Helper h (&Derived::doit);
}
=== cut here ===

The problem is that since r6-4014-gdcdbc004d531b4, &Derived::doit is
represented with an expression with type pointer to method and using an
INTEGER_CST (here 1), and that cxx_eval_constant_expression rejects any
such expression with a non-null INTEGER_CST.

This patch uses the same strategy as r12-4491-gf45610a45236e9 (fix for
PR c++/102786), and simply lets such expressions go through.

PR c++/117615

gcc/cp/ChangeLog:

* constexpr.cc (cxx_eval_constant_expression): Don't reject
INTEGER_CSTs with type POINTER_TYPE to METHOD_TYPE.

gcc/testsuite/ChangeLog:

* g++.dg/cpp2a/constexpr-virtual22.C: New test.
gcc/cp/constexpr.cc
gcc/testsuite/g++.dg/cpp2a/constexpr-virtual22.C [new file with mode: 0644]