[Bug tree-optimization/77648] [5/6/7 Regression] Setting conversion to a integer to double to 0 3/4 through a loop

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77648

--- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> ---
Created attachment 39657
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=39657&action=edit
patch in testing

Contains two C testcases -- the Fortran bug is in another code path, a Fortran
testcase suitable for the testsuite would be appreciated (single-file, runtime,
fails without, passes with the patch).  Unfortunately(?) there is no way to
create "fn spec" attributes in C testcases.