This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: [C++ Patch/RFC] PR 57092

From: Jason Merrill <jason at redhat dot com>
To: Paolo Carlini <paolo dot carlini at oracle dot com>
Cc: "gcc-patches at gcc dot gnu dot org" <gcc-patches at gcc dot gnu dot org>
Date: Tue, 30 Apr 2013 14:57:21 -0400
Subject: Re: [C++ Patch/RFC] PR 57092
References: <517E37C7 dot 7000001 at oracle dot com> <517E883B dot 7020702 at redhat dot com> <517FB328 dot 8030105 at oracle dot com> <517FC3AE dot 9010306 at redhat dot com> <517FEA51 dot 5050001 at oracle dot com>

On 04/30/2013 11:59 AM, Paolo Carlini wrote:

Currently, in some cases (see, eg, template/canon-type-9.C) we have that
id is true and DECLTYPE_TYPE_EXPR (t) is a TEMPLATE_PARM_INDEX but the
tsubst_copy_and_build call returns a TEMPLATE_PARM_INDEX again, not an
ADDR_EXPR, not an expression

Good point, this can happen for partial instantiations, whenprocessing_template_decl is still true. We want to keep theDECLTYPE_TYPE around until the expression instantiates to somethingnon-instantiation-dependent.

Hmm. Maybe the right answer is to just add a default: case tofinish_decltype_type and trust that it will be right.


Jason

Follow-Ups:
- Re: [C++ Patch/RFC] PR 57092
  - From: Paolo Carlini

References:
- [C++ Patch/RFC] PR 57092
  - From: Paolo Carlini
- Re: [C++ Patch/RFC] PR 57092
  - From: Jason Merrill
- Re: [C++ Patch/RFC] PR 57092
  - From: Paolo Carlini
- Re: [C++ Patch/RFC] PR 57092
  - From: Jason Merrill
- Re: [C++ Patch/RFC] PR 57092
  - From: Paolo Carlini

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]