https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71474
--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> --- Created attachment 38670 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=38670&action=edit Candidate patch Following patch uses loop upper_bound to make the # of iterations properly estimated.