r144003 - in /branches/alias-improvements/gcc: ...

[rguenth at gcc dot gnu dot org]

Author: rguenth
Date: Sat Feb  7 12:31:34 2009
New Revision: 144003

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=144003
Log:
2009-02-07  Richard Guenther  <rguenther@suse.de>

	PR tree-optimization/39120
	* tree-ssa-structalias.c (handle_rhs_call): Fill out return
	constraints.
	(handle_lhs_call): Process return constraints.  Add escape
	constraints if necessary.
	(handle_const_call): Fill out return constraints.  Make nested
	case more precise.  Avoid consttmp if possible.
	(handle_pure_call): Fill out return constraints.  Avoid
	callused if possible.
	(find_func_aliases): Simplify call handling.  Manually build
	nonlocal constraints for asm outputs.
	* tree-ssa-alias.c (ref_maybe_used_by_call_p_1): Add
	shortcut for const calls.  Properly use is_call_clobbered for
	non-const, non-pure calls.

	* gcc.c-torture/execute/pr39120.c: New testcase.

Added:
    branches/alias-improvements/gcc/testsuite/gcc.c-torture/execute/pr39120.c
Modified:
    branches/alias-improvements/gcc/ChangeLog.alias
    branches/alias-improvements/gcc/tree-ssa-alias.c
    branches/alias-improvements/gcc/tree-ssa-structalias.c