[Bug middle-end/48661] [4.6/4.7 Regression] wrong-code regression with devirtualization

[jakub at gcc dot gnu.org]

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

--- Comment #7 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-04-18 
21:58:53 UTC ---
Author: jakub
Date: Mon Apr 18 21:58:51 2011
New Revision: 172677

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=172677
Log:
    PR middle-end/48661
    * gimple-fold.c (gimple_get_virt_method_for_binfo): Return NULL
    if TREE_TYPE (v) is non-NULL.

    * gimple-fold.c (gimple_get_virt_method_for_binfo): Renamed from
    gimple_get_virt_mehtod_for_binfo.
    * gimple.h (gimple_get_virt_method_for_binfo): Likewise.
    * ipa-cp.c (ipcp_process_devirtualization_opportunities): Adjust
    callers.
    * ipa-prop.c (try_make_edge_direct_virtual_call): Likewise.

    * g++.dg/torture/pr48661.C: New test.

Added:
    trunk/gcc/testsuite/g++.dg/torture/pr48661.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/gimple-fold.c
    trunk/gcc/gimple.h
    trunk/gcc/ipa-cp.c
    trunk/gcc/ipa-prop.c
    trunk/gcc/testsuite/ChangeLog