------- Comment #3 from steven at gcc dot gnu dot org 2005-10-12 20:58 ------- The patch mentioned in #2 is not sufficient anymore. copy propagation and VRP also propagate copies of this kind. And may_propagate_copy is not used in most places, and even when it _is_ used, it doesn't help because it allows this kind of copies to be performed.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16306
