* ipa-prop.c (update_jump_functions_after_inlining): When type is not
	preserverd by passthrough, do not propagate the type.
	* g++.dg/ipa/devirt-23.C: New testcase.



git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@207405 138bc75d-0d04-0410-961f-82ee72b054a4