This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [C++ PATCH] c++/78776 fix alias template ICE
- From: Jason Merrill <jason at redhat dot com>
- To: Nathan Sidwell <nathan at acm dot org>
- Cc: GCC Patches <gcc-patches at gcc dot gnu dot org>
- Date: Mon, 12 Dec 2016 22:28:45 -0500
- Subject: Re: [C++ PATCH] c++/78776 fix alias template ICE
- Authentication-results: sourceware.org; auth=none
- References: <ef9e1f4c-b1e2-24f3-649a-c45d0d51eba3@acm.org> <CADzB+2=1mw30Uh-wCFeiv42tJACQA8it4oBt6k0Tth2Xfxd8BQ@mail.gmail.com> <cabb8752-1287-9ae9-8858-7463e7eaf624@acm.org>
On Mon, Dec 12, 2016 at 5:48 PM, Nathan Sidwell <nathan@acm.org> wrote:
> On 12/12/2016 04:44 PM, Jason Merrill wrote:
>>
>> On Mon, Dec 12, 2016 at 2:12 PM, Nathan Sidwell <nathan@acm.org> wrote:
>>>
>>> Solved by breaking TYPE_TEMPLATE_INFO into an underlying helper that
>>> doesn't deal with type aliases.
>>
>> I like this idea, but I don't like the name. Since alias templates
>> are generally transparent in the language, I wonder about changing
>> TYPE_TEMPLATE_INFO to look through aliases and creating a new macro
>
> Do you mean '... to NOT look ...'? If so ...
>
>> that also handles aliases, say TYPE_TEMPLATE_INFO_MAYBE_ALIAS?
>
> I had similar thought (down to the MAYBE name), but guessed that the
> invasiveness would be great. I suppose SED to the rescue?
I suspect that most uses don't need to change.
Jason