------- Comment #3 from law at redhat dot com 2006-04-11 05:41 ------- The problem is that may_propagate_copy and merge_alias_info are inconsistent. ie, DOM properly calls may_propagate_copy to determine if a particular copy propagation is valid. may_propagate_copy returns true indicating the copy propagation is valid. However, when the copy propagation is performed and we reach merge_alias_info, merge_alias_info has an additional sanity check that causes it to fail.
This really isn't a DOM problem. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27087
