------- Comment #5 from rguenth at gcc dot gnu dot org 2008-05-20 13:00 ------- It is not safe. Probably the best thing would be to not ask SCEV during the propagation but instead at ASSERT_EXPR insertion time.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36262
