@randall77 requested issue #53600 to be considered for backport to the next 1.17 minor release.

@gopherbot please open backport issues for 1.17 and 1.18.

This is a rare bug but results in miscompilation of loops with termination conditions "<= C" for large C.