------- Additional Comments From dje at gcc dot gnu dot org 2004-12-31 19:38 ------- Could we use/extend -ffinite-math-only option to cover this case and assert that the loop will not be infinite? -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19210