https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113907
--- Comment #64 from Jan Hubicka <hubicka at ucw dot cz> --- > Are you going to apply this patch, even if it just helps partially with some > tests and not others? I think we should fix this completely, since it is source of very suprising bugs. I discussed it with Martin (since he is maintaining the jump functions) and he will add comparator for them, so we can plug this bug completely. If we have operator= on functions, we can use it at the spot I am comparing value ranges. There is also a need to compare loop structures. Seems I have testcase now too (triggering peeling on miscomputed upper bound on iteration count). Will attach it after cleaning up.