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

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 722ec42882c475213cab58857a14736f40b7d278..c78ca628ab7823b141e79fb659fe6808e268a85b 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -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