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 E3C213856945; Sat, 22 Apr 2023 00:23:07 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org E3C213856945
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1682122987;
	bh=/0EjOfgvFmjm6UkjAVjaDDtzNxhMZbQH2e/tfX9c8MY=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=iOZEPK5ldG+niqXnJiKjH9eBukuxCqL2blYiBAHnUsvoSIVEDPphyOhlXCZoMNaTq
	 HODfzSMvu4FVt+f7ce0KrWSMO2+7Gn/Y+MF9m85K+yz4KajYji1r4VmJTaghvvTXia
	 TrEmrUZCXPd0wFsG+ROpwVQhg7EgALdehRS5xmHM=
From: "cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/108975] [10/11 Regression] ICE on constexpr variable used
 as nontype template since r9-5473-ge32fc4499f863f
Date: Sat, 22 Apr 2023 00:23:03 +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: 12.1.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: P2
X-Bugzilla-Assigned-To: jason at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 10.5
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-108975-4-5KdymBVuIh@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-108975-4@http.gcc.gnu.org/bugzilla/>
References: <bug-108975-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=3D108975

--- Comment #16 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-11 branch has been updated by Jason Merrill
<jason@gcc.gnu.org>:

https://gcc.gnu.org/g:51738bb097444dd3ca7adcfa28ae8dcff5a14c50

commit r11-10645-g51738bb097444dd3ca7adcfa28ae8dcff5a14c50
Author: Jason Merrill <jason@redhat.com>
Date:   Fri Mar 17 17:26:40 2023 -0400

    c++: constant, array, lambda, template [PR108975]

    When a lambda refers to a constant local variable in the enclosing scop=
e,
we
    tentatively capture it, but if we end up pulling out its constant value=
, we
    go back at the end of the lambda and prune any unneeded captures.  Here
    while parsing the template we decided that the dim capture was unneeded,
    because we folded it away, but then we brought back the use in the temp=
late
    trees that try to preserve the source representation with added type in=
fo.
    So then when we tried to instantiate that use, we couldn't find what it=
 was
    trying to use, and crashed.

    Fixed by not trying to prune when parsing a template; we'll prune at
    instantiation time.

            PR c++/108975

    gcc/cp/ChangeLog:

            * lambda.c (prune_lambda_captures): Don't bother in a template.

    gcc/testsuite/ChangeLog:

            * g++.dg/cpp0x/lambda/lambda-const11.C: New test.=