tree-ssa-copy.c (may_propagate_copy): Remove redundant checks.
authorRichard Biener <rguenth@gcc.gnu.org>
Fri, 23 Nov 2007 14:26:53 +0000 (14:26 +0000)
committerRichard Biener <rguenth@gcc.gnu.org>
Fri, 23 Nov 2007 14:26:53 +0000 (14:26 +0000)
commitbdcfbbfccba6c7f843908b7b5d1bef1acd23ccbc
treedb294cdf07f69567884273a7412c2b0e5e4a3492
parentcfdaefecf6ad134e393cd67fe54f4f5cdd21c5a0
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
gcc/ChangeLog