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

[mpolacek at gcc dot gnu.org]

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

--- Comment #3 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
decide_is_symbol_needed has
  /* Double check that no one output the function into assembly file early.  */
but it gets
 <function_decl 0x7fedaeb5f500 _GLOBAL__sub_I.00099_vt.C
    type <function_type 0x7fedaea12bd0
        type <void_type 0x7fedaea02bd0 void VOID
            align 8 symtab 0 alias set -1 canonical type 0x7fedaea02bd0
            pointer_to_this <pointer_type 0x7fedaea02c78>>
        QI
        size <integer_cst 0x7fedaea04180 constant 8>
        unit size <integer_cst 0x7fedaea041a0 constant 1>
        align 8 symtab 0 alias set -1 canonical type 0x7fedaea12bd0
        arg-types <tree_list 0x7fedae9f5b18 value <void_type 0x7fedaea02bd0
void>>>
    used nothrow static preserve decl_5 QI file vt.C line 4 col 2 align 8
initial <block 0x7fedaeb67050>
    result <result_decl 0x7fedaeb64000 D.2221 type <void_type 0x7fedaea02bd0
void>
        ignored VOID file vt.C line 4 col 2
        align 8 context <function_decl 0x7fedaeb5f500
_GLOBAL__sub_I.00099_vt.C>>
    full-name "(static initializers for vt.C)"
    pending-inline-info 0x7fedaeb60480
    (mem:QI (symbol_ref:DI ("_GLOBAL__sub_I.00099_vt.C") [flags 0x3]
<function_decl 0x7fedaeb5f500 _GLOBAL__sub_I.00099_vt.C>) [0 S1 A8])
    struct-function 0x7fedae9f7140>