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 3BA2B3858D38; Thu, 11 Apr 2024 13:49:33 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 3BA2B3858D38
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1712843373;
	bh=4tgI3kru8XWLAIDIr33La4JbasYjGbKk8lPGHdbIzxA=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=ev0npR2OSM+kZgNszJvD5F5xiTL6EiYwc5tBmMqXJsEQA3cN+WsoOH9Qaet2BK5gJ
	 6v8lx5+GfO8SsG1Va86Q/PYoU7Kfyc60YdN2uzFPvBBlNnBaAOO9VR61SqfPllwWQk
	 5tksiP8vFwuAAwAVaoDtrqVuCfsRKKonV5XvMzCI=
From: "nshead at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/114685] [modules] ICE when exporting a type through a
 different alias then one declared in GMF
Date: Thu, 11 Apr 2024 13:49:32 +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: 14.0
X-Bugzilla-Keywords: ice-on-valid-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: nshead at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: see_also bug_status cc cf_reconfirmed_on
 everconfirmed
Message-ID: <bug-114685-4-xmo1n7sxtz@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-114685-4@http.gcc.gnu.org/bugzilla/>
References: <bug-114685-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=3D114685

Nathaniel Shead <nshead at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           See Also|                            |https://gcc.gnu.org/bugzill
                   |                            |a/show_bug.cgi?id=3D114683
             Status|UNCONFIRMED                 |NEW
                 CC|                            |nshead at gcc dot gnu.org
   Last reconfirmed|                            |2024-04-11
     Ever confirmed|0                           |1

--- Comment #2 from Nathaniel Shead <nshead at gcc dot gnu.org> ---
This fails on

      if (data->hash->add_namespace_entities (decl, data->partitions))
        {
          /* It contains an exported thing, so it is exported.  */
          gcc_checking_assert (DECL_MODULE_PURVIEW_P (decl));
          DECL_MODULE_EXPORT_P (decl) =3D true;
        }

ultimately for a very similar reason to PR114683: non-functions brought in =
by
using-decls currently just bind the value directly which means that there's
nothing to indicate that they should be exported from this scope (and not t=
heir
original one).

I've been playing around with making use of the existing STAT_HACK machiner=
y to
try to get this working, but it looks like we'll probably need to overhaul a
fair chunk of the name lookup code to handle this correctly.=