------- Comment #7 from rguenth at gcc dot gnu dot org 2009-04-14 12:40 ------- Ok, doesn't work. We get lattice transitions CONSTANT -> CONSTANT with different values which is unexpected (or even may break sth). If you remove that sanity check it substitutes the broken constant (huh, with zero!) (checks missing for that), but otherwise the propagation itself works.
Too much of a hack... ;) -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39761
