From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-patches-return-335309-listarch-gcc-patches=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 26903 invoked by alias); 10 Jan 2013 16:11:56 -0000
Received: (qmail 26883 invoked by uid 22791); 10 Jan 2013 16:11:54 -0000
X-SWARE-Spam-Status: No, hits=-5.3 required=5.0	tests=AWL,BAYES_00,DKIM_SIGNED,DKIM_VALID,FREEMAIL_FROM,KHOP_RCVD_TRUST,KHOP_THREADED,RCVD_IN_DNSWL_LOW,RCVD_IN_HOSTKARMA_YE
X-Spam-Check-By: sourceware.org
Received: from mail-ea0-f169.google.com (HELO mail-ea0-f169.google.com) (209.85.215.169)    by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Thu, 10 Jan 2013 16:11:45 +0000
Received: by mail-ea0-f169.google.com with SMTP id a12so299100eaa.14        for <gcc-patches@gcc.gnu.org>; Thu, 10 Jan 2013 08:11:44 -0800 (PST)
MIME-Version: 1.0
Received: by 10.14.221.9 with SMTP id q9mr194852042eep.3.1357834303946; Thu, 10 Jan 2013 08:11:43 -0800 (PST)
Received: by 10.14.129.195 with HTTP; Thu, 10 Jan 2013 08:11:43 -0800 (PST)
In-Reply-To: <87k3rlrrkw.fsf@redhat.com>
References: <877gnnwzdg.fsf@redhat.com>	<CAAiZkiCPPTmoXZnJTZ+MMAB5tmwEQut7vKZR=+KTb3ckZTHKhQ@mail.gmail.com>	<87hamqtlum.fsf@redhat.com>	<CAAiZkiApeONn=RxP2T+jcqGHpAFPBDXMyoiyyZSUxs6H5pEzCw@mail.gmail.com>	<87k3rlrrkw.fsf@redhat.com>
Date: Thu, 10 Jan 2013 16:11:00 -0000
Message-ID: <CAAiZkiApGZ3_ZU+b6ARhko=4PPsgc86sC_Xqg9GbfDw=PZHLLg@mail.gmail.com>
Subject: Re: [PATCH] PR c++/55663 - constexpr function templ instantiation considered non-const as alias templ arg
From: Gabriel Dos Reis <gdr@integrable-solutions.net>
To: Dodji Seketeli <dodji@redhat.com>
Cc: GCC Patches <gcc-patches@gcc.gnu.org>, Jason Merrill <jason@redhat.com>
Content-Type: text/plain; charset=ISO-8859-1
X-IsSubscribed: yes
Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-patches.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-patches/>
List-Post: <mailto:gcc-patches@gcc.gnu.org>
List-Help: <mailto:gcc-patches-help@gcc.gnu.org>
Sender: gcc-patches-owner@gcc.gnu.org
X-SW-Source: 2013-01/txt/msg00552.txt.bz2

On Thu, Jan 10, 2013 at 9:22 AM, Dodji Seketeli <dodji@redhat.com> wrote:

> But during the instantiation of the *members* of test<int>, we try to
> instantiate Alias<the_truth<int>>, without coercing (and thus without
> folding) the argument {the_truth<int>}.  We do this using
> instantiate_alias_template, called from tsubst.
>
> The patch below makes sure instantiate_alias_template coerces the
> arguments it uses to instantiate the alias template, like what I
> understood you are suggesting.  I have tested it without boostrap and a
> full boostrap is currently running.

Hmm, is it necessary to coerce all levels as opposed to just the
innermost arguments?

-- Gaby