[Bug c++/58582] New: [c++11] ICE defining and instantiating deleted template function

[reichelt at gcc dot gnu.org]

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

            Bug ID: 58582
           Summary: [c++11] ICE defining and instantiating deleted
                    template function
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: reichelt at gcc dot gnu.org

The following invalid code snippet (compiled with "-std=c++0x") triggers an ICE
since GCC 4.4.0 (when deleted functions were introduced):

========================================
struct A
{
  template<int> void foo() = delete;
};

template<int> void A::foo() { int i; }

template void A::foo<0>();
========================================

bug.cc:6:20: error: redefinition of 'void A::foo()'
 template<int> void A::foo() { int i; }
                    ^
bug.cc:3:22: note: 'void A::foo()' previously declared here
   template<int> void foo() = delete;
                      ^
bug.cc: In instantiation of 'void A::foo() [with int <anonymous> = 0]':
bug.cc:8:25:   required from here
bug.cc:6:36: internal compiler error: in add_stmt, at cp/semantics.c:386
 template<int> void A::foo() { int i; }
                                    ^
0x6ae530 add_stmt(tree_node*)
        ../../gcc/gcc/cp/semantics.c:386
0x5a43ac tsubst_expr
        ../../gcc/gcc/cp/pt.c:13289
0x5a1cdf instantiate_decl(tree_node*, int, bool)
        ../../gcc/gcc/cp/pt.c:19391
0x5de5ff instantiate_pending_templates(int)
        ../../gcc/gcc/cp/pt.c:19492
0x619766 cp_write_global_declarations()
        ../../gcc/gcc/cp/decl2.c:4060
Please submit a full bug report, [etc.]


A slightly modified example (just leave out "int i;") crashes in a different
place:

========================================
struct A
{
  template<int> void foo() = delete;
};

template<int> void A::foo() {}

template void A::foo<0>();
========================================

bug.cc:6:20: error: redefinition of 'void A::foo()'
 template<int> void A::foo() {}
                    ^
bug.cc:3:22: note: 'void A::foo()' previously declared here
   template<int> void foo() = delete;
                      ^
bug.cc: In instantiation of 'void A::foo() [with int <anonymous> = 0]':
bug.cc:8:25:   required from here
bug.cc:6:30: internal compiler error: in finish_function, at cp/decl.c:13810
 template<int> void A::foo() {}
                              ^
0x56ab15 finish_function(int)
        ../../gcc/gcc/cp/decl.c:13810
0x5a1d18 instantiate_decl(tree_node*, int, bool)
        ../../gcc/gcc/cp/pt.c:19402
0x5de5ff instantiate_pending_templates(int)
        ../../gcc/gcc/cp/pt.c:19492
0x619766 cp_write_global_declarations()
        ../../gcc/gcc/cp/decl2.c:4060
Please submit a full bug report, [etc.]