r207447 - in /trunk/gcc: ChangeLog gimple-fold....

[hubicka@gcc.gnu.org]

Author: hubicka
Date: Tue Feb  4 03:42:37 2014
New Revision: 207447

URL: http://gcc.gnu.org/viewcvs?rev=207447&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.

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

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