c++: constantness of call to function pointer [PR111703]
commit0077c0fb19981c108a01cd15af9b2d6d478c183b
authorPatrick Palka <ppalka@redhat.com>
Thu, 16 Nov 2023 14:32:07 +0000 (16 09:32 -0500)
committerPatrick Palka <ppalka@redhat.com>
Thu, 16 Nov 2023 14:32:07 +0000 (16 09:32 -0500)
treed6ed5753cd394efc25fe7fbdee712634f1066939
parent4547c271c455dcf54ce9c4bb820acdd3b6193f6d
c++: constantness of call to function pointer [PR111703]

potential_constant_expression for CALL_EXPR tests FUNCTION_POINTER_TYPE_P
on the callee rather than on the type of the callee, which means we
always pass want_rval=any when recursing and so may fail to identify a
non-constant function pointer callee as such.  Fixing this turns out to
further work around PR111703.

PR c++/111703
PR c++/107939

gcc/cp/ChangeLog:

* constexpr.cc (potential_constant_expression_1) <case CALL_EXPR>:
Fix FUNCTION_POINTER_TYPE_P test.

gcc/testsuite/ChangeLog:

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