r207448 - in /trunk/gcc: ChangeLog ipa-cp.c ipa...

[hubicka@gcc.gnu.org]

Author: hubicka
Date: Tue Feb  4 05:40:21 2014
New Revision: 207448

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

	* ipa-cp.c (ipa_get_indirect_edge_target_1): Do direct
	lookup via vtable pointer; check for type consistency
	and turn inconsitent facts into UNREACHABLE.
	* ipa-prop.c (try_make_edge_direct_virtual_call): Likewise.
	* gimple-fold.c (gimple_get_virt_method_for_vtable): 
	Do not ICE on type inconsistent querries; return UNREACHABLE
	instead.

	* testsuite/g++.dg/ipa/devirt-25.C: New testcase.

Added:
    trunk/gcc/testsuite/g++.dg/ipa/devirt-22.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/ipa-cp.c
    trunk/gcc/ipa-devirt.c
    trunk/gcc/ipa-prop.c
    trunk/gcc/ipa-utils.h
    trunk/gcc/testsuite/ChangeLog