From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugzilla@gcc.gnu.org>
Received: by sourceware.org (Postfix, from userid 48)
	id E6B943858C50; Wed,  1 May 2024 05:05:04 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org E6B943858C50
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1714539904;
	bh=PyLLpVxXtY45ceIx1WznR7ys+eSfg16wB5Fk8WzF/R8=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=qz75o7fd7HwOqHgIlZXFPQUTQqrl5T9ToF6D4sVWFQGDIhwCNV5YYHtfu5aZRq4aK
	 5cSA1NRScbBPDap5SJ3dPrx2V+DNCaCWHKn7uaSMbHjzYgmEHE8RyrhQKWDD0ND0+J
	 +SQC8g8sF0HYDJywAcvbAmvFQluGy3MGhpjQ2mOY=
From: "cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/107688] [C++23] P2615 - Meaningful exports
Date: Wed, 01 May 2024 05:05:04 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c++
X-Bugzilla-Version: unknown
X-Bugzilla-Keywords: 
X-Bugzilla-Severity: normal
X-Bugzilla-Who: cvs-commit at gcc dot gnu.org
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: nshead at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-107688-4-XRb4yWz883@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-107688-4@http.gcc.gnu.org/bugzilla/>
References: <bug-107688-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
List-Id: <gcc-bugs.sourceware.org>

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

--- Comment #2 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Nathaniel Shead <nshead@gcc.gnu.org>:

https://gcc.gnu.org/g:79420dd344145819677b3f975bb305a778fcaf91

commit r15-84-g79420dd344145819677b3f975bb305a778fcaf91
Author: Nathaniel Shead <nathanieloshead@gmail.com>
Date:   Mon Mar 4 23:58:30 2024 +1100

    c++: Implement P2615 'Meaningful Exports' [PR107688]

    This clarifies which kinds of declarations may and may not be exported
    in various contexts. The patch additionally fixes up some small issues
    that were clarified by the paper.

    Most of the changes are with regards to export-declarations, which are
    applied for all standards modes that we support '-fmodules-ts' for.
    However there are also a couple of changes made to linkage specifiers
    ('extern "C"'); I've applied these as since C++20, to line up with when
    modules were actually introduced.

            PR c++/107688

    gcc/cp/ChangeLog:

            * name-lookup.cc (push_namespace): Error when exporting
            namespace with internal linkage.
            * parser.h (struct cp_parser): Add new flag
            'in_unbraced_export_declaration_p'.
            * parser.cc (cp_debug_parser): Print the new flag.
            (cp_parser_new): Initialise the new flag.
            (cp_parser_module_export): Set the new flag.
            (cp_parser_class_specifier): Clear and restore the new flag.
            (cp_parser_import_declaration): Imports can now appear directly
            in a linkage specification.
            (cp_parser_declaration): Categorise declarations as "name" or
            "special"; error on the later in contexts where the former is
            required.
            (cp_parser_class_head): Error when exporting a partial
            specialisation.

    gcc/testsuite/ChangeLog:

            * g++.dg/modules/contracts-1_a.C: Avoid now-illegal syntax.
            * g++.dg/modules/contracts-2_a.C: Likewise.
            * g++.dg/modules/contracts-3_a.C: Likewise.
            * g++.dg/modules/contracts-4_a.C: Likewise.
            * g++.dg/modules/lang-1_c.C: Clarify now-legal syntax.
            * g++.dg/modules/pr101582-1.C: Remove now-legal XFAILS.
            * g++.dg/template/crash71.C: Update error messages.
            * g++.dg/cpp2a/linkage-spec1.C: New test.
            * g++.dg/modules/export-3.C: New test.
            * g++.dg/modules/export-4_a.C: New test.
            * g++.dg/modules/export-4_b.C: New test.

    Signed-off-by: Nathaniel Shead <nathanieloshead@gmail.com>=