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

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

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 <mpola...@gcc.gnu.org>:

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

commit r13-217-g4b2a6628644b2ce15d877c1e85d14e314965a296
Author: Marek Polacek <pola...@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.