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 9E1813858C31; Tue,  9 May 2023 22:25:39 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 9E1813858C31
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1683671139;
	bh=YyqPzM50zt5lqsiSqIUTaMEJxQGRx6z2VJ6zhI65aCo=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=Mt5C9T7UG9nAKxwxezUh9NwnvmN0weTi6JfQ1bjQgpyi8ZdFOPicPwzNQRRu7DofS
	 IoLYvYyJE/oP51E1+HmPzNPKgu3mdhpF1g4tbM1mYLRhfmTxhSHGjj6IyLFjmoKxDP
	 xM12u16fdxy3YInp7f/pnW4vTwoFU3I/GhRwB9Vc=
From: "pinskia at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/109790] [11/12/13/14 Regression] internal compiler error in
 write_member_name, at cp/mangle.cc:2992
Date: Tue, 09 May 2023 22:25:39 +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: 13.0
X-Bugzilla-Keywords: c++-lambda, ice-on-valid-code, needs-bisection
X-Bugzilla-Severity: normal
X-Bugzilla-Who: pinskia 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: 11.4
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: bug_status target_milestone cf_reconfirmed_on
 everconfirmed keywords cf_known_to_fail short_desc cf_known_to_work
Message-ID: <bug-109790-4-yslh4OOvSE@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-109790-4@http.gcc.gnu.org/bugzilla/>
References: <bug-109790-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=3D109790

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Target Milestone|---                         |11.4
   Last reconfirmed|                            |2023-05-09
     Ever confirmed|0                           |1
           Keywords|                            |needs-bisection
      Known to fail|                            |10.1.0, 11.1.0, 8.5.0,
                   |                            |9.3.0
            Summary|internal compiler error in  |[11/12/13/14 Regression]
                   |write_member_name, at       |internal compiler error in
                   |cp/mangle.cc:2992           |write_member_name, at
                   |                            |cp/mangle.cc:2992
      Known to work|                            |10.3.0, 10.4.0, 9.4.0,
                   |                            |9.5.0

--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Reduced:
```
auto ll =3D [](auto ... ){};
template <class _Impl, class _Args>
  void mm(void (_Impl::*__p)(_Args) const);
template <class _Ts>
using __impl_for =3D decltype(mm(&decltype(ll)::operator()<_Ts>));
template <class _Ts> __impl_for<_Ts> f() { }
void aaa() {
  f<int>();
}
```
as far as I can tell the above is valid C++17 code.
It was rejected in 10.1.0, 9.3.0 8.5.0 and started to ICE in 11.1.0. But it=
 was
accepted in 10.3.0 10.4.0 9.5.0 9.4.0.=