------- Comment #9 from rguenth at gcc dot gnu dot org 2009-10-12 20:24 ------- The problem is that we follow SSA edges into loops that may not be executed. Sebastian - how are we supposed to deal with this case?
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41497