[Bug c++/65764] New: internal compiler error: in retrieve_specialization, at cp/pt.c:1048

[Bug c++/65764] New: internal compiler error: in retrieve_specialization, at cp/pt.c:1048

[galbramc at mit dot edu]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65764

            Bug ID: 65764
           Summary: internal compiler error: in retrieve_specialization,
                    at cp/pt.c:1048
           Product: gcc
           Version: 4.9.3
            Status: UNCONFIRMED
          Severity: major
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: galbramc at mit dot edu

Created attachment 35313
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=35313&action=edit
Output from g++ -v -save-temps -std=c++11 test_bug.cpp

Compiling

class U1 {};
class U2 {};
class T1 {};
class T2 {};

template<class X1, class X2, class X3>
class A;

template<class X1>
class A<X1, T1, T2>
{
};

template<class X1, class X2>
class B
{
  template<class tmpX1>
  using AA = A<tmpX1, T1, T2>;
};

template<class BB>
class C
{
  template<class tmpX1>
  using AA = typename BB::template AA<tmpX1>;
};

int main()
{
  C< B<U1,U2> > c;
}


Results in the error:

test_bug.cpp: In substitution of ‘template<class tmpX1> using AA = A<X1, T1,
T2> [with tmpX1 = U1]’:
test_bug.cpp:27:45:   required from ‘class C<B<U1, U2> >’
test_bug.cpp:32:17:   required from here
test_bug.cpp:20:30: internal compiler error: in retrieve_specialization, at
cp/pt.c:1048
   using AA = A<tmpX1, T1, T2>;


I have attached the complete output using -v -save-temps. 

This bug is in gcc-4_9-branch of the repository, but appears to have been fixed
in gcc-5-branch. I don't know if there are any plans to port the fixes back to
4.8 or 4.9. We use Ubuntu 14.04 (where 4.8 is currently the standard), and were
hoping not to have to ask developers to use 5.0 for the software development.
>From gcc-bugs-return-483592-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Apr 14 21:03:31 2015
Return-Path: <gcc-bugs-return-483592-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 73695 invoked by alias); 14 Apr 2015 21:03:31 -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 73635 invoked by uid 48); 14 Apr 2015 21:03:26 -0000
From: "abutcher at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/65750] [4.9/5 Regression] misinterpret in a virtual member function with a C++11 style function signature
Date: Tue, 14 Apr 2015 21:03:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c++
X-Bugzilla-Version: 5.0
X-Bugzilla-Keywords: rejects-valid
X-Bugzilla-Severity: normal
X-Bugzilla-Who: abutcher at gcc dot gnu.org
X-Bugzilla-Status: NEW
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:
Message-ID: <bug-65750-4-X5d6pqg8CY@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-65750-4@http.gcc.gnu.org/bugzilla/>
References: <bug-65750-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: 2015-04/txt/msg01144.txt.bz2
Content-length: 249

https://gcc.gnu.org/bugzilla/show_bug.cgi?ide750

--- Comment #5 from Adam Butcher <abutcher at gcc dot gnu.org> ---
This lookahead sketch
(https://gcc.gnu.org/ml/gcc-patches/2015-04/msg00712.html) appears to work but
I've don't limited testing.

[Bug c++/65764] internal compiler error: in retrieve_specialization, at cp/pt.c:1048

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65764

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-valid-code
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2015-04-15
      Known to work|                            |5.0
     Ever confirmed|0                           |1
      Known to fail|                            |4.7.4, 4.8.4, 4.9.3

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Confirmed.  Not a regression as far as I can see.

[Bug c++/65764] internal compiler error: in retrieve_specialization, at cp/pt.c:1048

[mpolacek at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65764

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mpolacek at gcc dot gnu.org

--- Comment #2 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Got fixed in r218955.

[Bug c++/65764] internal compiler error: in retrieve_specialization, at cp/pt.c:1048

[paolo.carlini at oracle dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65764

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |DUPLICATE

--- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Dup.

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