[Bug c++/114459] New: [C++26] P2893R3 - Variadic friends

[Bug c++/114459] New: [C++26] P2893R3 - Variadic friends

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114459

            Bug ID: 114459
           Summary: [C++26]  P2893R3 - Variadic friends
           Product: gcc
           Version: 14.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: jakub at gcc dot gnu.org
  Target Milestone: ---

See <https://wg21.link/P2893R3>.

[Bug c++/114459] [C++26] P2893R3 - Variadic friends

[pinskia at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114459

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2024-03-25
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |NEW

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
.

[Bug c++/114459] [C++26] P2893R3 - Variadic friends

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114459

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |jakub at gcc dot gnu.org
             Status|NEW                         |ASSIGNED

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Created attachment 58100
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=58100&action=edit
gcc14-pr114459.patch

Untested implementation.

[Bug c++/114459] [C++26] P2893R3 - Variadic friends

[cvs-commit at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114459

--- Comment #3 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jakub Jelinek <jakub@gcc.gnu.org>:

https://gcc.gnu.org/g:17458d2bc74b904968e6bdc12527eb040c8d2370

commit r15-304-g17458d2bc74b904968e6bdc12527eb040c8d2370
Author: Jakub Jelinek <jakub@redhat.com>
Date:   Tue May 7 22:38:01 2024 +0200

    c++: Implement C++26 P2893R3 - Variadic friends [PR114459]

    The following patch imeplements the C++26 P2893R3 - Variadic friends
    paper.  The paper allows for the friend type declarations to specify
    more than one friend type specifier and allows to specify ... at
    the end of each.  The patch doesn't introduce tentative parsing of
    friend-type-declaration non-terminal, but rather just extends existing
    parsing where it is a friend declaration which ends with ; after the
    declaration specifiers to the cases where it ends with ...; or , or ...,
    In that case it pedwarns for cxx_dialect < cxx26, handles the ... and
    if there is , continues in a loop to parse the further friend type
    specifiers.

    2024-05-07  Jakub Jelinek  <jakub@redhat.com>

            PR c++/114459
    gcc/c-family/
            * c-cppbuiltin.cc (c_cpp_builtins): Predefine
            __cpp_variadic_friend=202403L for C++26.
    gcc/cp/
            * parser.cc (cp_parser_member_declaration): Implement C++26
            P2893R3 - Variadic friends.  Parse friend type declarations
            with ... or with more than one friend type specifier.
            * friend.cc (make_friend_class): Allow TYPE_PACK_EXPANSION.
            * pt.cc (instantiate_class_template): Handle PACK_EXPANSION_P
            in friend classes.
    gcc/testsuite/
            * g++.dg/cpp26/feat-cxx26.C (__cpp_variadic_friend): Add test.
            * g++.dg/cpp26/variadic-friend1.C: New test.

[Bug c++/114459] [C++26] P2893R3 - Variadic friends

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114459

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
             Status|ASSIGNED                    |RESOLVED

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Implemented for 15.1.