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 72595385843B; Mon, 10 Jun 2024 14:16:25 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 72595385843B
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1718028985;
	bh=vD27b3HoD1RXxN7HnsQRUuSOKHJY9OXCKrawrAlm3hY=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=MYLDIUtvh/FGLwlTKS0Ouf2rT16JtwVCDSAbR/4S60nRtFn9hv7MLnHYB/VNSv2KW
	 2rhO8oZsFz/L8guG5Z/ZPJFRwxs9PA8hMEMkEV7lI841YCIwsCUSsbSuoR97o6nQDM
	 Gt6VTeiinnHxjFRRCZmvx48luEm2Yl5TGDvxpsus=
From: "cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/115378] [14/15 Regression] ICE with lambda function as a
 default template argument with variadic templates in some cases
Date: Mon, 10 Jun 2024 14:16:23 +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: 15.0
X-Bugzilla-Keywords: c++-lambda, ice-on-valid-code
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: ppalka at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 14.2
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-115378-4-sF5paUrO8s@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-115378-4@http.gcc.gnu.org/bugzilla/>
References: <bug-115378-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=3D115378

--- Comment #8 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-14 branch has been updated by Patrick Palka
<ppalka@gcc.gnu.org>:

https://gcc.gnu.org/g:ff8105b4910f7dbee326cb36b01c16ac9bf10c4b

commit r14-10301-gff8105b4910f7dbee326cb36b01c16ac9bf10c4b
Author: Patrick Palka <ppalka@redhat.com>
Date:   Fri Jun 7 12:12:30 2024 -0400

    c++: lambda in pack expansion [PR115378]

    Here find_parameter_packs_r is incorrectly treating the 'auto' return
    type of a lambda as a parameter pack due to Concepts-TS specific logic
    added in r6-4517, leading to confusion later when expanding the pattern.

    Since we intend on removing Concepts TS support soon anyway, this patch
    fixes this by restricting the problematic logic with flag_concepts_ts.
    Doing so revealed that add_capture was relying on this logic to set
    TEMPLATE_TYPE_PARAMETER_PACK for the 'auto' type of an pack expansion
    init-capture, which we now need to do explicitly.

            PR c++/115378

    gcc/cp/ChangeLog:

            * lambda.cc (lambda_capture_field_type): Set
            TEMPLATE_TYPE_PARAMETER_PACK on the auto type of an init-capture
            pack expansion.
            * pt.cc (find_parameter_packs_r) <case TEMPLATE_TYPE_PARM>:
            Restrict TEMPLATE_TYPE_PARAMETER_PACK promotion with
            flag_concepts_ts.

    gcc/testsuite/ChangeLog:

            * g++.dg/cpp1y/decltype-auto-103497.C: Adjust expected diagnost=
ic.
            * g++.dg/template/pr95672.C: Likewise.
            * g++.dg/cpp2a/lambda-targ5.C: New test.

    Reviewed-by: Jason Merrill <jason@redhat.com>
    (cherry picked from commit 5c761395402a730535983a5e49ef1775561ebc61)=