[Bug lto/59468] [4.9 Regression] ICE on invalid C++ code with LTO in gimple_get_virt_method_for_binfo, at gimple-fold.c:3224

[hubicka at gcc dot gnu.org]

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

--- Comment #11 from Jan Hubicka <hubicka at gcc dot gnu.org> ---
Author: hubicka
Date: Tue Feb 11 22:54:21 2014
New Revision: 207702

URL: http://gcc.gnu.org/viewcvs?rev=207702&root=gcc&view=rev
Log:

    PR lto/59468
    * ipa-utils.h (possible_polymorphic_call_targets): Update prototype
    and wrapper.
    * ipa-devirt.c: Include demangle.h
    (odr_violation_reported): New static variable.
    (add_type_duplicate): Update odr_violations.
    (maybe_record_node): Add completep parameter; update it.
    (record_target_from_binfo): Add COMPLETEP parameter;
    update it as needed.
    (possible_polymorphic_call_targets_1): Likewise.
    (struct polymorphic_call_target_d): Add nonconstruction_targets;
    rename FINAL to COMPLETE.
    (record_targets_from_bases): Sanity check we found the binfo;
    fix COMPLETEP updating.
    (possible_polymorphic_call_targets): Add NONCONSTRUTION_TARGETSP
    parameter, fix computing of COMPLETEP.
    (dump_possible_polymorphic_call_targets): Imrove readability of dump; at
    LTO time do demangling.
    (ipa_devirt): Use nonconstruction_targets; Improve dumps.
    * gimple-fold.c (gimple_get_virt_method_for_vtable): Add can_refer
    parameter.
    (gimple_get_virt_method_for_binfo): Likewise.
    * gimple-fold.h (gimple_get_virt_method_for_binfo,
    gimple_get_virt_method_for_vtable): Update prototypes.

    PR lto/59468
    * g++.dg/ipa/devirt-27.C: New testcase.
    * g++.dg/ipa/devirt-26.C: New testcase.

Added:
    trunk/gcc/testsuite/g++.dg/ipa/devirt-26.C
    trunk/gcc/testsuite/g++.dg/ipa/devirt-27.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/cp/decl2.c
    trunk/gcc/gimple-fold.c
    trunk/gcc/gimple-fold.h
    trunk/gcc/ipa-devirt.c
    trunk/gcc/ipa-utils.h
    trunk/gcc/testsuite/ChangeLog