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 E3BC43858D3C; Tue, 19 Sep 2023 12:21:16 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org E3BC43858D3C
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1695126076;
	bh=dfT5FE+qJVf3dx/lrFevcjmpZhsfS/a3p4hFng2ryFo=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=uvmtVGYjD7Kcodu3UUBa/Vgo3xO8YoD/JVJ7yd/dY/ADiCaBnnnbp3ZYX5lUy6Ua8
	 0P+fl3AOsZ2/W0C5glM0bFjaH9UWZaYeK7ELBcHv1GPzsA+nYNBuEh1Gym4hnt9+kk
	 K9qYwOfEXQhCAvvdwcp1Nts4M/vAKlTmZWfkIR+k=
From: "cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/99631] decltype of non-type template-parameter shouldn't be
 const
Date: Tue, 19 Sep 2023 12:21:15 +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: 11.0
X-Bugzilla-Keywords: rejects-valid
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: ---
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-99631-4-NjN6mlrFr5@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-99631-4@http.gcc.gnu.org/bugzilla/>
References: <bug-99631-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=3D99631

--- Comment #11 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:ddd064e3571c4a9e6258c75eba65585a07367712

commit r14-4137-gddd064e3571c4a9e6258c75eba65585a07367712
Author: Patrick Palka <ppalka@redhat.com>
Date:   Tue Sep 19 08:21:05 2023 -0400

    c++: constness of decltype of NTTP object [PR99631]

    This corrects resolving decltype of a (class) NTTP object as per
    [dcl.type.decltype]/1.2 and [temp.param]/6 in the type-dependent case.

    Note that in the non-dependent case we resolve the decltype ahead of
    time, in which case finish_decltype_type drops the const VIEW_CONVERT_E=
XPR
    wrapper around the TEMPLATE_PARM_INDEX, and the latter has the desired
    non-const type.

    In the type-dependent case, at instantiation time tsubst drops the
    VIEW_CONVERT_EXPR since the substituted NTTP is the already-const object
    created by get_template_parm_object.  So in this case finish_decltype_t=
ype
    sees the const object, which this patch now adds special handling for.

            PR c++/99631

    gcc/cp/ChangeLog:

            * semantics.cc (finish_decltype_type): For an NTTP object,
            return its type modulo cv-quals.

    gcc/testsuite/ChangeLog:

            * g++.dg/cpp2a/nontype-class60.C: New test.=