diff options
| author | Patrick Palka <ppalka@redhat.com> | 2023-11-16 09:32:07 -0500 |
|---|---|---|
| committer | Patrick Palka <ppalka@redhat.com> | 2023-11-16 09:32:07 -0500 |
| commit | 0077c0fb19981c108a01cd15af9b2d6d478c183b (patch) | |
| tree | d6ed5753cd394efc25fe7fbdee712634f1066939 /gcc/gcov.cc | |
| parent | 4547c271c455dcf54ce9c4bb820acdd3b6193f6d (diff) | |
| download | gcc-0077c0fb19981c108a01cd15af9b2d6d478c183b.zip gcc-0077c0fb19981c108a01cd15af9b2d6d478c183b.tar.gz gcc-0077c0fb19981c108a01cd15af9b2d6d478c183b.tar.bz2 | |
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.
Diffstat (limited to 'gcc/gcov.cc')
0 files changed, 0 insertions, 0 deletions