r161898 - in /trunk/gcc: ChangeLog ipa-split.c ...

[hubicka at gcc dot gnu dot org]

Author: hubicka
Date: Wed Jul  7 01:00:42 2010
New Revision: 161898

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=161898
Log:
	PR middle-end/44813
	* tree-ssa-uninit.c (ssa_undefined_value_p): Result decl is defined
	for functions passed by reference.
	* tree.c (needs_to_live_in_memory): RESULT_DECL don't need to live
	in memory when passed by reference.
	* tree-ssa-ccp.c (get_default_value): Only VAR_DECL is undefined at
	beggining.
	* ipa-split.c (split_function): Cleanup way return value is passed;
	handle SSA DECL_BY_REFERENCE retvals.
	* tree-ssa.c (verify_def): Verify that RESULT_DECL is read only when
	DECL_BY_REFERENCE is set.
	* tree-ssa-structalias.c (get_constraint_for_ssa_var, get_fi_for_callee,
	find_what_p_points_to): Handle RESULT_DECL.
	* tree-inline.c (declare_return_variable): Get new entry_block argument;
	when passing by reference ensure that RESULT_DECL is gimple_val.
	(remap_gimple_op_r): Remap RESULT_DECL ssa name.
	(remap_gimple_stmt): Handle SSA DECL_BY_REFERENCE returns.
	* g++.dg/torture/pr44813.C: New testcase.
	* g++.dg/torture/pr44826.C: New testcase.

Added:
    trunk/gcc/testsuite/g++.dg/torture/pr44813.C
    trunk/gcc/testsuite/g++.dg/torture/pr44826.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/ipa-split.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-inline.c
    trunk/gcc/tree-ssa-ccp.c
    trunk/gcc/tree-ssa-structalias.c
    trunk/gcc/tree-ssa-uninit.c
    trunk/gcc/tree-ssa.c
    trunk/gcc/tree.c