[Bug c++/58300] New: ICE: in decide_is_symbol_needed, at cgraphunit.c:233 with -fvtable-verify=preinit on invalid code

[zsojka at seznam dot cz]

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

            Bug ID: 58300
           Summary: ICE: in decide_is_symbol_needed, at cgraphunit.c:233
                    with -fvtable-verify=preinit on invalid code
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: zsojka at seznam dot cz

Created attachment 30742
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=30742&action=edit
reduced testcase

Compiler output:
$ gcc -fvtable-verify=preinit testcase.C 
testcase.C:2:1: error: explicit specialization of non-template 'A'
 {
 ^
testcase.C:4:2: internal compiler error: in decide_is_symbol_needed, at
cgraphunit.c:233
 };
  ^
0x887ed8 decide_is_symbol_needed(symtab_node_def*)
        /mnt/svn/gcc-trunk/gcc/cgraphunit.c:232
0x888468 cgraph_finalize_function(tree_node*, bool)
        /mnt/svn/gcc-trunk/gcc/cgraphunit.c:459
0x889f69 cgraph_process_new_functions()
        /mnt/svn/gcc-trunk/gcc/cgraphunit.c:306
0x79d756 vtv_generate_init_routine()
        /mnt/svn/gcc-trunk/gcc/cp/vtable-class-hierarchy.c:1190
0x68fc46 cp_write_global_declarations()
        /mnt/svn/gcc-trunk/gcc/cp/decl2.c:4373
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.


$ gcc -v                                 
Using built-in specs.
COLLECT_GCC=/mnt/svn/gcc-trunk/binary-latest/bin/gcc
COLLECT_LTO_WRAPPER=/mnt/svn/gcc-trunk/binary-202158-lto-fortran-checking-yes-rtl-df/libexec/gcc/x86_64-unknown-linux-gnu/4.9.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: /mnt/svn/gcc-trunk//configure --enable-checking=yes,rtl,df
--enable-languages=c,c++,lto,fortran
--prefix=/mnt/svn/gcc-trunk/binary-202158-lto-fortran-checking-yes-rtl-df/
--without-cloog --without-ppl
Thread model: posix
gcc version 4.9.0 20130902 (experimental) (GCC)