http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46302
--- Comment #9 from Martin Jambor <jamborm at gcc dot gnu.org> 2011-01-14 23:01:02 UTC --- Author: jamborm Date: Fri Jan 14 23:00:59 2011 New Revision: 168825 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=168825 Log: 2011-01-14 Martin Jambor <mjam...@suse.cz> PR tree-optimization/45934 PR tree-optimization/46302 * ipa-prop.c (type_change_info): New type. (stmt_may_be_vtbl_ptr_store): New function. (check_stmt_for_type_change): Likewise. (detect_type_change): Likewise. (detect_type_change_ssa): Likewise. (compute_complex_assign_jump_func): Check for dynamic type change. (compute_complex_ancestor_jump_func): Likewise. (compute_known_type_jump_func): Likewise. (compute_scalar_jump_functions): Likewise. (ipa_analyze_virtual_call_uses): Likewise. (ipa_analyze_node): Push and pop cfun, set current_function_decl. * testsuite/g++.dg/ipa/devirt-c-1.C: New test. * testsuite/g++.dg/ipa/devirt-c-2.C: Likewise. * testsuite/g++.dg/ipa/devirt-c-3.C: Likewise. * testsuite/g++.dg/ipa/devirt-c-4.C: Likewise. * testsuite/g++.dg/ipa/devirt-c-5.C: Likewise. * testsuite/g++.dg/ipa/devirt-c-6.C: Likewise. * testsuite/g++.dg/ipa/devirt-6.C: Likewise. * testsuite/g++.dg/ipa/devirt-d-1.C: Likewise. * testsuite/g++.dg/torture/pr45934.C: Likewise. Added: trunk/gcc/testsuite/g++.dg/ipa/devirt-6.C trunk/gcc/testsuite/g++.dg/ipa/devirt-c-1.C trunk/gcc/testsuite/g++.dg/ipa/devirt-c-2.C trunk/gcc/testsuite/g++.dg/ipa/devirt-c-3.C trunk/gcc/testsuite/g++.dg/ipa/devirt-c-4.C trunk/gcc/testsuite/g++.dg/ipa/devirt-c-5.C trunk/gcc/testsuite/g++.dg/ipa/devirt-c-6.C trunk/gcc/testsuite/g++.dg/ipa/devirt-d-1.C trunk/gcc/testsuite/g++.dg/torture/pr45934.C Modified: trunk/gcc/ChangeLog trunk/gcc/ipa-prop.c trunk/gcc/testsuite/ChangeLog