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 0D8F33846410; Fri,  5 Apr 2024 12:55:12 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 0D8F33846410
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1712321712;
	bh=oijr62Wkr9wVMYRAXn47O9om3STvoyOPnNeyiWDCIGs=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=CL8mLnlv1OS4EdLHZ2gOZeMYIJzwIBGWV/09tl+/3Hv+daswRpc9hFCZ/8Cwp4xVi
	 g5IHZTUbj+hZlUNyPvcJf3zb99OiFMhdyg/CHyvpBhc9grCqVxkGHMOfFpeaxgf2V/
	 eYa3cV9GpgD39vJbXaK6FR0FezPtFiz7VS3oxh3Q=
From: "ppalka at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/114600] [14 Regression] [modules] redefinition errors when
 using certain std headers in GMF
Date: Fri, 05 Apr 2024 12:55:11 +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: rejects-valid
X-Bugzilla-Severity: normal
X-Bugzilla-Who: ppalka 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: 14.0
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: cc keywords target_milestone blocked short_desc
 everconfirmed cf_reconfirmed_on bug_status
Message-ID: <bug-114600-4-gClGClSR9C@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-114600-4@http.gcc.gnu.org/bugzilla/>
References: <bug-114600-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=3D114600

Patrick Palka <ppalka at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |nshead at gcc dot gnu.org,
                   |                            |ppalka at gcc dot gnu.org
           Keywords|                            |rejects-valid
   Target Milestone|---                         |14.0
             Blocks|                            |103524
            Summary|[modules] redefinition      |[14 Regression] [modules]
                   |errors when using certain   |redefinition errors when
                   |std headers in GMF          |using certain std headers
                   |                            |in GMF
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2024-04-05
             Status|UNCONFIRMED                 |NEW

--- Comment #2 from Patrick Palka <ppalka at gcc dot gnu.org> ---
Confirmed, started with r14-6978.

Mechanical reduction:

$ cat 114600.h
namespace std {
template <typename> struct integral_constant {
  typedef integral_constant type;
};
template <bool> using __enable_if_t =3D int;
template <typename> auto __and_fn() -> integral_constant<bool>;
template <typename... _Bn> struct __and_ : decltype(__and_fn<_Bn...>) {};
template <typename... _Cond>
using _Require =3D __enable_if_t<__and_<_Cond...>::value>;
template <typename _Tp> _Require<_Tp> swap();
namespace __swappable_details {
using std::swap;
}
} // namespace std

$ cat 114600_a.C
module;

#include "114600.h"

export module std;

$ cat 114600_b.C
import std;

#include "114600.h"

int main()
{
}

$ g++ -fmodules-ts 114600_*.C
114600.h:3:29: error: template definition of non-template 'typedef struct
std::integral_constant< <template-parameter-1-1> > std::integral_constant<
<template-parameter-1-1> >::type'


Referenced Bugs:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D103524
[Bug 103524] [meta-bug] modules issue=