[Bug c++/103539] New: [C++23] P2324 - Labels at the end of compound statements

[Bug c++/103539] New: [C++23] P2324 - Labels at the end of compound statements

[mpolacek at gcc dot gnu.org]

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

            Bug ID: 103539
           Summary: [C++23] P2324 - Labels at the end of compound
                    statements
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: mpolacek at gcc dot gnu.org
  Target Milestone: ---

https://wg21.link/P2324

void foo(void)
{
first:       // #1 allowed in C++, now also allowed in C
  int x; 
second:      // #2 allowed in both C++ and C
  x = 1;
last:        // #3 not allowed in C++, but now allowed in C
}

This proposal makes #3 OK.

[Bug c++/103539] [C++23] P2324 - Labels at the end of compound statements

[mpolacek at gcc dot gnu.org]

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

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Blocks|                            |98940
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2021-12-03
           Assignee|unassigned at gcc dot gnu.org      |mpolacek at gcc dot gnu.org
     Ever confirmed|0                           |1


Referenced Bugs:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98940
[Bug 98940] Implement C++23 language features

[Bug c++/103539] [C++23] P2324 - Labels at the end of compound statements

[cvs-commit at gcc dot gnu.org]

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

--- Comment #1 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The trunk branch has been updated by Marek Polacek <mpolacek@gcc.gnu.org>:

https://gcc.gnu.org/g:4b2a6628644b2ce15d877c1e85d14e314965a296

commit r13-217-g4b2a6628644b2ce15d877c1e85d14e314965a296
Author: Marek Polacek <polacek@redhat.com>
Date:   Sun May 8 17:36:34 2022 -0400

    c++: Implement P2324R2, labels at the end of compound-stmts [PR103539]

    This patch implements C++23 <https://wg21.link/p2324r2>, which allows
    labels at the end of a compound statement.   Its C FE counterpart was
    already implemented in r11-4813.

    In cp_parser_statement I rely on in_compound to determine whether we're
    in a compound-statement, so that the patch doesn't accidentally allow

      void fn(int c) {
        if (c)
      label:
      }

    Strangely, in_compound was reset after seeing a label (this is tested in
    c-c++-common/gomp/pr63326.c), so I've made a modifiable copy specific
    for OpenMP #pragma purposes.

            PR c++/103539

    gcc/cp/ChangeLog:

            * parser.cc (cp_parser_statement): Constify the in_compound
parameter.
            Create a modifiable copy.  Allow labels at the end of compound
            statements.

    gcc/testsuite/ChangeLog:

            * g++.dg/cpp23/label1.C: New test.
            * g++.dg/cpp23/label2.C: New test.

[Bug c++/103539] [C++23] P2324 - Labels at the end of compound statements

[mpolacek at gcc dot gnu.org]

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

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

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

--- Comment #2 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Implemented in GCC 13.