tree-ssa-copy.c (may_propagate_copy): Remove redundant checks.

2007-11-23  Richard Guenther  <rguenther@suse.de>

	* tree-ssa-copy.c (may_propagate_copy): Remove redundant
	checks.
	(merge_alias_info): Do verification only if checking is
	enabled.  Merge flow-sensitive alias information in simple
	cases.
	* tree-ssa-operands.c (get_addr_dereference_operands): Also
	complain about missing NMTs.

	* gcc.dg/tree-ssa/alias-17.c: New testcase.

From-SVN: r130378
This commit is contained in:
Richard Biener 2007-11-23 14:26:53 +00:00
parent cfdaefecf6
commit bdcfbbfccb

View file

@ -1,3 +1,13 @@
2007-11-23 Richard Guenther <rguenther@suse.de>
* tree-ssa-copy.c (may_propagate_copy): Remove redundant
checks.
(merge_alias_info): Do verification only if checking is
enabled. Merge flow-sensitive alias information in simple
cases.
* tree-ssa-operands.c (get_addr_dereference_operands): Also
complain about missing NMTs.
2007-11-23 Jakub Jelinek <jakub@redhat.com>
PR c++/34198