[Bug c++/60328] New: [4.8/4.9 Regression] [c++11] ICE/Rejection with specialization in variadic template

[Bug c++/60328] New: [4.8/4.9 Regression] [c++11] ICE/Rejection with specialization in variadic template

[reagentoo at gmail dot com]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain; charset="UTF-8", Size: 3684 bytes --]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60328

            Bug ID: 60328
           Summary: [4.8/4.9 Regression] [c++11] ICE/Rejection with
                    specialization in variadic template
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: reagentoo at gmail dot com

The following valid code snippet (compiled with "-std=c++11") rejected in GCC
4.9.0 (20130909) and triggers an ICE in GCC 4.8.2:

================================================
template <class _T, class... _Rest>
struct Foo
{
    template <class _TT, class... _RR>
    using Bar = Foo<_TT, _RR...>;

    using Normal = Foo<_Rest...>;
    using Fail = Bar<_Rest...>;
};
================================================
GCC 4.8.2 output:
internal compiler error: Segmentation fault
     using Fail = Bar<_Rest...>;
                              ^
Please submit a full bug report,
with preprocessed source if appropriate.
See <https://bugs.gentoo.org/> for instructions.
================================================
GCC 4.9.0 output:
8 : error: pack expansion argument for non-pack parameter ‘_TT’ of alias
template ‘template template using Bar = Foo<_TT, _RR ...>’
using Fail = Bar<_Rest...>;
^
>From gcc-bugs-return-444704-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Mon Feb 24 19:32:07 2014
Return-Path: <gcc-bugs-return-444704-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 24036 invoked by alias); 24 Feb 2014 19:32:06 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 24023 invoked by uid 48); 24 Feb 2014 19:32:03 -0000
From: "alangiderick at gmail dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug other/60329] New: Fix Typo
Date: Mon, 24 Feb 2014 19:32:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: new
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: other
X-Bugzilla-Version: 4.9.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: alangiderick at gmail dot com
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_id short_desc product version bug_status bug_severity priority component assigned_to reporter attachments.created
Message-ID: <bug-60329-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2014-02/txt/msg02461.txt.bz2
Content-length: 534

http://gcc.gnu.org/bugzilla/show_bug.cgi?id`329

            Bug ID: 60329
           Summary: Fix Typo
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: other
          Assignee: unassigned at gcc dot gnu.org
          Reporter: alangiderick at gmail dot com

Created attachment 32206
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id2206&actioníit
Fix Typo

Hello
      Fixed a typo in call.h header file in the comment.

[Bug c++/60328] [4.8/4.9 Regression] [c++11] ICE/Rejection with specialization in variadic template

[jason at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60328

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
                 CC|                            |jason at gcc dot gnu.org
         Resolution|---                         |DUPLICATE

--- Comment #1 from Jason Merrill <jason at gcc dot gnu.org> ---
GCC 4.9 implements the tentative resolution of DR 1430.

http://open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1430

*** This bug has been marked as a duplicate of bug 51239 ***

[Bug c++/60328] [4.8/4.9 Regression] [c++11] ICE/Rejection with specialization in variadic template

[reagentoo at gmail dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60328

--- Comment #2 from reagentoo at gmail dot com ---
(In reply to Jason Merrill from comment #1)
> GCC 4.9 implements the tentative resolution of DR 1430.
> 
> http://open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1430
> 
> *** This bug has been marked as a duplicate of bug 51239 ***

But this test-case compiles with Clang normal.

[Bug c++/60328] [4.8/4.9 Regression] [c++11] ICE/Rejection with specialization in variadic template

[jason at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60328

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |ASSIGNED
   Last reconfirmed|                            |2014-02-25
         Resolution|DUPLICATE                   |---
           Assignee|unassigned at gcc dot gnu.org      |jason at gcc dot gnu.org
     Ever confirmed|0                           |1

--- Comment #3 from Jason Merrill <jason at gcc dot gnu.org> ---
Ah, I see, this is a bug in G++'s implementation of DR 1286; Bar should be
considered equivalent to Foo.

http://open-std.org/jtc1/sc22/wg21/docs/cwg_toc.html#1286

[Bug c++/60328] [4.8/4.9 Regression] [c++11] ICE/Rejection with specialization in variadic template

[jason at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60328

--- Comment #4 from Jason Merrill <jason at gcc dot gnu.org> ---
Author: jason
Date: Tue Feb 25 18:53:45 2014
New Revision: 208152

URL: http://gcc.gnu.org/viewcvs?rev=208152&root=gcc&view=rev
Log:
    DR 1286
    PR c++/60328
    * pt.c (get_underlying_template): Fix equivalence calculation.

Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/alias-decl-dr1286b.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/pt.c

[Bug c++/60328] [4.8/4.9 Regression] [c++11] ICE/Rejection with specialization in variadic template

[jason at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60328

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED
   Target Milestone|---                         |4.9.0

--- Comment #5 from Jason Merrill <jason at gcc dot gnu.org> ---
Fixed for 4.9.