diff options
author | Marek Polacek <polacek@redhat.com> | 2021-01-21 16:12:28 -0500 |
---|---|---|
committer | Marek Polacek <polacek@redhat.com> | 2021-01-22 17:55:06 -0500 |
commit | 89100826acec92dfaa6ab8f2646b8053e7dbc67c (patch) | |
tree | 940b0046b483fbaf3c292157e81e8fa3484439fb /gcc/cp/semantics.c | |
parent | ab8cde87cac09ec414c3f640fce132c0626dedc2 (diff) | |
download | gcc-89100826acec92dfaa6ab8f2646b8053e7dbc67c.zip gcc-89100826acec92dfaa6ab8f2646b8053e7dbc67c.tar.gz gcc-89100826acec92dfaa6ab8f2646b8053e7dbc67c.tar.bz2 |
c++: ICE with noexcept in class in member function [PR96623]
I discovered very strange code in inject_parm_decls:
if (args && is_this_parameter (args))
{
gcc_checking_assert (current_class_ptr == NULL_TREE);
current_class_ptr = NULL_TREE;
We are tripping up on the assert because when we call inject_parm_decls,
current_class_ptr is set to 'A'. It was set by inject_this_parameter
after we've parsed the parameter-declaration-clause of the member
function foo. It seems correct to set ccp/ccr to A::B when we're
late parsing the noexcept-specifiers of bar* functions in B, so that
this-> does the right thing. Since inject_parm_decls doesn't expect
to see non-null ccp/ccr, reset it before calling inject_parm_decls.
gcc/cp/ChangeLog:
PR c++/96623
* parser.c (inject_parm_decls): Remove a redundant assignment.
(cp_parser_class_specifier_1): Clear current_class_{ptr,ref}
before calling inject_parm_decls.
gcc/testsuite/ChangeLog:
PR c++/96623
* g++.dg/cpp0x/noexcept64.C: New test.
Diffstat (limited to 'gcc/cp/semantics.c')
0 files changed, 0 insertions, 0 deletions