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

Hi,

On 04/30/2013 08:57 PM, Jason Merrill wrote:

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, when processing_template_decl is still true. We want to keep the DECLTYPE_TYPE around until the expression instantiates to something non-instantiation-dependent. 
I see...
Hmm. Maybe the right answer is to just add a default: case to finish_decltype_type and trust that it will be right. 
Ok. Then shall we do something like the below?

Thanks,
Paolo.

//////////////////

Attachment: patch_57092_3
Description: Text document

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