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 2B16B3858C74; Wed, 15 Nov 2023 17:18:08 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 2B16B3858C74
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1700068688;
	bh=tH8ZQppeQJQM0Eh/1oNA809SNNKpeBrxTNnB27VQWm0=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=nNDMtd+g4wBywHDtQ56X6yZ0d1ck8MjSeD8z9z5impjypU+rleip9jxQdn6a8d5dr
	 XA/CItHnYjFyVWvGcbjn9l02LlIU3YIiNahNIGQS18xGr6HD4ppb/StQWzAEbrXK0Y
	 fQEhcpKAxGLrTRt0N2uAOPnvaLlGNs5nBUiM21iI=
From: "cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/101043] ICE in check_noexcept_r for lambda conditional
 noexcept via requires expression
Date: Wed, 15 Nov 2023 17:18:07 +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: 10.3.1
X-Bugzilla-Keywords: ice-on-valid-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: cvs-commit 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: 
Message-ID: <bug-101043-4-o7GW8nTRY5@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-101043-4@http.gcc.gnu.org/bugzilla/>
References: <bug-101043-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=3D101043

--- Comment #4 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Patrick Palka <ppalka@gcc.gnu.org>:

https://gcc.gnu.org/g:40a7707a7ea3568cee2cd80cd7e83b7eda678410

commit r14-5504-g40a7707a7ea3568cee2cd80cd7e83b7eda678410
Author: Patrick Palka <ppalka@redhat.com>
Date:   Wed Nov 15 12:17:55 2023 -0500

    c++: partially inst requires-expr in noexcept-spec [PR101043]

    Here we're ICEing from strip_typedefs for the partially instantiated
    requires-expression when walking its REQUIRES_EXPR_EXTRA_ARGS which
    in this case is a TREE_LIST with non-empty TREE_PURPOSE (to hold the
    captured local specialization 't' as per build_extra_args) which
    strip_typedefs doesn't expect.

    We can probably skip walking REQUIRES_EXPR_EXTRA_ARGS at all since it
    shouldn't contain any typedefs in the first place, but it seems safer
    and more generally useful to just teach strip_typedefs to handle non-em=
pty
    TREE_PURPOSE the obvious way.  (The code asserts TREE_PURPOSE was empty
    even since since its inception i.e. r189298.)

            PR c++/101043

    gcc/cp/ChangeLog:

            * tree.cc (strip_typedefs_expr) <case TREE_LIST>: Handle
            non-empty TREE_PURPOSE.

    gcc/testsuite/ChangeLog:

            * g++.dg/cpp2a/concepts-requires37.C: New test.=