https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81388
--- Comment #8 from amker at gcc dot gnu.org --- My change @r238585 assumed that "pointer + 2 < pointer" must be folded before calling to number_of_iterations_lt_to_ne. This is not true when pointer_plus can overflow. I will look for either fix or revert. Sorry for the breakage.