https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100752
Bug ID: 100752
Summary: [11/12 Regression]
Product: gcc
Version: 11.1.1
Status: UNCONFIRMED
Keywords: rejects-valid
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: redi at gcc dot gnu.org
CC: jason at gcc dot gnu.org
Target Milestone: ---
As noted in Bug 52869 comment 20, this has started to fail:
struct S
{
void f() noexcept {}
S &g() noexcept(noexcept(f())) { f(); return *this; }
};
noex.C:4:32: error: cannot call member function ‘void S::f()’ without object
4 | S &g() noexcept(noexcept(f())) { f(); return *this; }
| ^
It started with r11-289:
c++: Use of 'this' in parameter declaration [PR90748]
We were incorrectly accepting the use of 'this' at parse time and then
crashing when we tried to instantiate it. It is invalid because 'this' is
not in scope until after the function-cv-quals. So let's hoist setting
current_class_ptr up from cp_parser_late_return_type_opt into
cp_parser_direct_declarator where it can work for noexcept as well.
PR c++/90748
* parser.c (inject_parm_decls): Set current_class_ptr here.
(cp_parser_direct_declarator): And here.
(cp_parser_late_return_type_opt): Not here.
(cp_parser_noexcept_specification_opt): Nor here.
(cp_parser_exception_specification_opt)
(cp_parser_late_noexcept_specifier): Remove unneeded parameters.
