[Bug c++/67825] [concepts] expression constraint bug when taking address of a member function

[cvs-commit at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67825

--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jason Merrill <ja...@gcc.gnu.org>:

https://gcc.gnu.org/g:f1ad7bac76b662577e3bde78c530954099361a66

commit r10-7554-gf1ad7bac76b662577e3bde78c530954099361a66
Author: Jason Merrill <ja...@redhat.com>
Date:   Sat Apr 4 11:04:55 2020 -0400

    c++: Fix invalid pointer-to-member in requires [PR67825]

    A recent change to cmcstl2 led to two tests failing due to this bug: our
    valid expression checking in the context of a requires-expression wasn't
    catching that an expression of member function type can only appear as the
    function operand of a call expression.  Fixed by using convert_to_void to
do
    the same checking as a discarded-value expression.

    This patch also fixes 67825, which already had a testcase, but the testcase
    was testing for the wrong behavior.

    gcc/cp/ChangeLog
    2020-04-04  Jason Merrill  <ja...@redhat.com>

            PR c++/67825
            * constraint.cc (tsubst_valid_expression_requirement): Call
            convert_to_void.