public inbox for gcc-cvs@sourceware.org help / color / mirror / Atom feed
From: Jason Merrill <jason@gcc.gnu.org> To: gcc-cvs@gcc.gnu.org Subject: [gcc r14-8163] c++: reject packs on xobj params [PR113307] Date: Tue, 16 Jan 2024 21:11:00 +0000 (GMT) [thread overview] Message-ID: <20240116211100.F311D3858413@sourceware.org> (raw) https://gcc.gnu.org/g:6aae831a3fe6619794afa79410e6fc1b4817f0b1 commit r14-8163-g6aae831a3fe6619794afa79410e6fc1b4817f0b1 Author: waffl3x <waffl3x@protonmail.com> Date: Fri Jan 12 07:40:19 2024 +0000 c++: reject packs on xobj params [PR113307] Reject and diagnose xobj parameters declared as parameter packs. PR c++/113307 gcc/cp/ChangeLog: * parser.cc (cp_parser_parameter_declaration): Reject packs on xobj params. gcc/testsuite/ChangeLog: * g++.dg/cpp23/explicit-obj-diagnostics3.C: Add test for rejection of packs. Signed-off-by: Waffl3x <waffl3x@protonmail.com> Diff: --- gcc/cp/parser.cc | 21 +++- .../g++.dg/cpp23/explicit-obj-diagnostics3.C | 106 ++++++++++++++++++++- 2 files changed, 125 insertions(+), 2 deletions(-) diff --git a/gcc/cp/parser.cc b/gcc/cp/parser.cc index c7ad3ecd3ed..3748ccd49ff 100644 --- a/gcc/cp/parser.cc +++ b/gcc/cp/parser.cc @@ -25714,6 +25714,25 @@ cp_parser_parameter_declaration (cp_parser *parser, for a C-style variadic function. */ token = cp_lexer_peek_token (parser->lexer); + bool const xobj_param_p + = decl_spec_seq_has_spec_p (&decl_specifiers, ds_this); + + if (xobj_param_p + && ((declarator && declarator->parameter_pack_p) + || cp_lexer_next_token_is (parser->lexer, CPP_ELLIPSIS))) + { + location_t xobj_param + = make_location (decl_specifiers.locations[ds_this], + decl_spec_token_start->location, + input_location); + error_at (xobj_param, + "an explicit object parameter cannot " + "be a function parameter pack"); + /* Suppress errors that occur down the line. */ + if (declarator) + declarator->parameter_pack_p = false; + } + /* If a function parameter pack was specified and an implicit template parameter was introduced during cp_parser_parameter_declaration, change any implicit parameters introduced into packs. */ @@ -25837,7 +25856,7 @@ cp_parser_parameter_declaration (cp_parser *parser, if (default_argument) STRIP_ANY_LOCATION_WRAPPER (default_argument); - if (decl_spec_seq_has_spec_p (&decl_specifiers, ds_this)) + if (xobj_param_p) { if (default_argument) { diff --git a/gcc/testsuite/g++.dg/cpp23/explicit-obj-diagnostics3.C b/gcc/testsuite/g++.dg/cpp23/explicit-obj-diagnostics3.C index ec091d6ca67..304cf029f8f 100644 --- a/gcc/testsuite/g++.dg/cpp23/explicit-obj-diagnostics3.C +++ b/gcc/testsuite/g++.dg/cpp23/explicit-obj-diagnostics3.C @@ -1,7 +1,9 @@ // P0847R7 // { dg-do compile { target c++23 } } -// rejection and diagnosis of an xobj parameter declared with a default argument +// rejection and diagnosis of an incorrectly declared xobj parameter + +// default argument struct S { void f0(this S = {}) {} // { dg-error "an explicit object parameter may not have a default argument" } @@ -18,3 +20,105 @@ void S::f2(this S = {}) {} // { dg-error "an explicit object parameter may not h void S::f11(this S s) {} void S::f12(this S s = {}) {} // { dg-error "an explicit object parameter may not have a default argument" } +// parameter pack + +struct S0 { + template<typename Selves> + void f(this Selves...) {} // { dg-error "an explicit object parameter cannot be a function parameter pack" } + + template<typename Selves> + void g(this Selves... selves) {} // { dg-error "an explicit object parameter cannot be a function parameter pack" } + + void h(this auto...) {} // { dg-error "an explicit object parameter cannot be a function parameter pack" } + void j(this auto... selves) {} // { dg-error "an explicit object parameter cannot be a function parameter pack" } + + template<typename Selves> + void fd(this Selves...); // { dg-error "an explicit object parameter cannot be a function parameter pack" } + + template<typename Selves> + void gd(this Selves... selves); // { dg-error "an explicit object parameter cannot be a function parameter pack" } + + void hd(this auto...); // { dg-error "an explicit object parameter cannot be a function parameter pack" } + void jd(this auto... selves); // { dg-error "an explicit object parameter cannot be a function parameter pack" } +}; + +struct S1 { + template<typename Selves> + void f(this Selves&...) {} // { dg-error "an explicit object parameter cannot be a function parameter pack" } + + template<typename Selves> + void g(this Selves&... selves) {} // { dg-error "an explicit object parameter cannot be a function parameter pack" } + + void h(this auto&...) {} // { dg-error "an explicit object parameter cannot be a function parameter pack" } + void j(this auto&... selves) {} // { dg-error "an explicit object parameter cannot be a function parameter pack" } + + template<typename Selves> + void fd(this Selves&...); // { dg-error "an explicit object parameter cannot be a function parameter pack" } + + template<typename Selves> + void gd(this Selves&... selves); // { dg-error "an explicit object parameter cannot be a function parameter pack" } + + void hd(this auto&...); // { dg-error "an explicit object parameter cannot be a function parameter pack" } + void jd(this auto&... selves); // { dg-error "an explicit object parameter cannot be a function parameter pack" } +}; + +struct S2 { + template<typename Selves> + void f(this Selves&&...) {} // { dg-error "an explicit object parameter cannot be a function parameter pack" } + + template<typename Selves> + void g(this Selves&&... selves) {} // { dg-error "an explicit object parameter cannot be a function parameter pack" } + + void h(this auto&&...) {} // { dg-error "an explicit object parameter cannot be a function parameter pack" } + void j(this auto&&... selves) {} // { dg-error "an explicit object parameter cannot be a function parameter pack" } + + template<typename Selves> + void fd(this Selves&&...); // { dg-error "an explicit object parameter cannot be a function parameter pack" } + + template<typename Selves> + void gd(this Selves&&... selves); // { dg-error "an explicit object parameter cannot be a function parameter pack" } + + void hd(this auto&&...); // { dg-error "an explicit object parameter cannot be a function parameter pack" } + void jd(this auto&&... selves); // { dg-error "an explicit object parameter cannot be a function parameter pack" } +}; + +struct S3 { + template<typename Selves> + void f(this Selves const&...) {} // { dg-error "an explicit object parameter cannot be a function parameter pack" } + + template<typename Selves> + void g(this Selves const&... selves) {} // { dg-error "an explicit object parameter cannot be a function parameter pack" } + + void h(this auto const&...) {} // { dg-error "an explicit object parameter cannot be a function parameter pack" } + void j(this auto const&... selves) {} // { dg-error "an explicit object parameter cannot be a function parameter pack" } + + template<typename Selves> + void fd(this Selves const&...); // { dg-error "an explicit object parameter cannot be a function parameter pack" } + + template<typename Selves> + void gd(this Selves const&... selves); // { dg-error "an explicit object parameter cannot be a function parameter pack" } + + void hd(this auto const&...); // { dg-error "an explicit object parameter cannot be a function parameter pack" } + void jd(this auto const&... selves); // { dg-error "an explicit object parameter cannot be a function parameter pack" } +}; + +struct S4 { + template<typename Selves> + void f(this Selves const&&...) {} // { dg-error "an explicit object parameter cannot be a function parameter pack" } + + template<typename Selves> + void g(this Selves const&&... selves) {} // { dg-error "an explicit object parameter cannot be a function parameter pack" } + + void h(this auto const&&...) {} // { dg-error "an explicit object parameter cannot be a function parameter pack" } + void j(this auto const&&... selves) {} // { dg-error "an explicit object parameter cannot be a function parameter pack" } + + template<typename Selves> + void fd(this Selves const&&...); // { dg-error "an explicit object parameter cannot be a function parameter pack" } + + template<typename Selves> + void gd(this Selves const&&... selves); // { dg-error "an explicit object parameter cannot be a function parameter pack" } + + void hd(this auto const&&...); // { dg-error "an explicit object parameter cannot be a function parameter pack" } + void jd(this auto const&&... selves); // { dg-error "an explicit object parameter cannot be a function parameter pack" } +}; +
reply other threads:[~2024-01-16 21:11 UTC|newest] Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions: You may reply publicly to this message via plain-text email using any one of the following methods: * Save the following mbox file, import it into your mail client, and reply-to-all from there: mbox Avoid top-posting and favor interleaved quoting: https://en.wikipedia.org/wiki/Posting_style#Interleaved_style * Reply using the --to, --cc, and --in-reply-to switches of git-send-email(1): git send-email \ --in-reply-to=20240116211100.F311D3858413@sourceware.org \ --to=jason@gcc.gnu.org \ --cc=gcc-cvs@gcc.gnu.org \ /path/to/YOUR_REPLY https://kernel.org/pub/software/scm/git/docs/git-send-email.html * If your mail client supports setting the In-Reply-To header via mailto: links, try the mailto: linkBe sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).