------- Comment #20 from rguenth at gcc dot gnu dot org 2009-09-06 17:53 ------- Ah, we start from the exit block with ANTIC_IN {} and go to its predecessors getting just EXP_GEN - TMP_GEN there. Not unsound.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41101