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

[rguenth@gcc.gnu.org]

Author: rguenth
Date: Fri Jan  2 13:37:06 2009
New Revision: 143011

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

	* tree-ssa-alias.c (ref_may_used_by_call_p): New function.
	(ref_may_used_by_stmt_p): Likewise.
	(call_may_clobber_ref_p): Handle more cases.
	(stmt_may_clobber_ref_p): Export.
	* tree-ssa-alias.h (ref_may_used_by_stmt_p): Declare.
	(stmt_may_clobber_ref_p): Likewise.
	* tree-ssa-dse.c (struct address_walk_data): Remove.
	(memory_ssa_name_same): Likewise.
	(memory_address_same): Likewise.
	(get_kill_of_stmt_lhs): Likewise.
	(dse_possible_dead_store_p): Simplify, use the oracle.  Handle
	unused stores.
	(dse_optimize_stmt): Simplify.  Properly remove stores.

	testsuite/
	* gcc.dg/noncompile/920507-1.c: Fix invalid dead array access.

Modified:
    branches/alias-improvements/gcc/ChangeLog.alias
    branches/alias-improvements/gcc/testsuite/gcc.dg/noncompile/920507-1.c
    branches/alias-improvements/gcc/tree-ssa-alias.c
    branches/alias-improvements/gcc/tree-ssa-alias.h
    branches/alias-improvements/gcc/tree-ssa-dse.c