[Bug c++/59901] New: internal compiler error: in retrieve_specialization cp/pt.c:1012

[Bug c++/59901] New: internal compiler error: in retrieve_specialization cp/pt.c:1012

[burrows.labs at gmail dot com]

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

            Bug ID: 59901
           Summary: internal compiler error: in retrieve_specialization
                    cp/pt.c:1012
           Product: gcc
           Version: 4.7.3
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: burrows.labs at gmail dot com

Created attachment 31914
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=31914&action=edit
preprocessed source

Code and error below; I've also attached the preprocessed source. The problem
also seems to exist in 4.8

#include <tuple>
#include <iostream>

// designates a field to be serialized
template <typename Name, typename Type>
class MemberPair {
public:
    typedef Type type;
    typedef Name name;
};

template <typename... All>
class A {};

template <typename Base, typename Head, typename... Tail>
class A<Base, Head, Tail...> : A<Base, Tail...> {
public:
    template <typename NameAttemptHead, typename... NameAttemptTail>
    using Type =
        typename
            std::tuple<typename
                std::enable_if<std::is_same<NameAttemptHead,
                                            typename Head::name>::value,
                               typename Head::type>::type,
                typename A<Base, Tail...>::template Type<NameAttemptTail...> >;

};

template <typename Base>
class A<Base> {
public:
    template <typename... Empty>
    using Type = std::tuple<>;
};

namespace F {
    struct x;
    struct y;
    struct z;
}

class D : public A<D, MemberPair<F::x, int>,
                      MemberPair<F::y, int>,
                      MemberPair<F::z, std::string> > {

};

int
main()
{
    // D dee;
    // static_cast< A<D, MemberPair<F::y>, MemberPair<F::z> &>(dee);
    return 0;
}

// eof

$ g++-4.7 -std=c++0x -pedantic -Wall gettype.cpp -o gettype -g
gettype.cpp: In instantiation of ‘class A<D, MemberPair<F::z,
std::basic_string<char, std::char_traits<char>, std::allocator<char> > > >’:
gettype.cpp:16:7:   recursively required from ‘class A<D, MemberPair<F::y,
int>, MemberPair<F::z, std::basic_string<char, std::char_traits<char>,
std::allocator<char> > > >’
gettype.cpp:16:7:   required from ‘class A<D, MemberPair<F::x, int>,
MemberPair<F::y, int>, MemberPair<F::z, std::basic_string<char,
std::char_traits<char>, std::allocator<char> > > >’
gettype.cpp:41:18:   required from here
gettype.cpp:32:30: internal compiler error: in retrieve_specialization, at
cp/pt.c:1012
Please submit a full bug report,
>From gcc-bugs-return-441159-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed Jan 22 04:42:28 2014
Return-Path: <gcc-bugs-return-441159-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 21533 invoked by alias); 22 Jan 2014 04:42:27 -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 21507 invoked by uid 48); 22 Jan 2014 04:42:22 -0000
From: "allan at archlinux dot org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug ada/59853] gnatmake cannot build a library
Date: Wed, 22 Jan 2014 04:42:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: ada
X-Bugzilla-Version: 4.8.2
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: allan at archlinux dot org
X-Bugzilla-Status: WAITING
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: cc
Message-ID: <bug-59853-4-c3m8aE7lB0@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-59853-4@http.gcc.gnu.org/bugzilla/>
References: <bug-59853-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-01/txt/msg02301.txt.bz2
Content-length: 756

http://gcc.gnu.org/bugzilla/show_bug.cgi?idY853

Allan McRae <allan at archlinux dot org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |allan at archlinux dot org

--- Comment #5 from Allan McRae <allan at archlinux dot org> ---
This is a distribution issue. Arch Linux does not provide static libraries for
those that have dynamic counterparts.  So setting Library_Kind as "static" was
always going to fail.

Interestingly, setting Library_Kind to "dynamic" still requires libgnat.a to be
present even though the resulting library links to libgnat-4.8.so.  Am I
missing something, or is that an actual bug?

[Bug c++/59901] internal compiler error: in retrieve_specialization cp/pt.c:1012

[mpolacek at gcc dot gnu.org]

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

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

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

--- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Dup.

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