https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82776
Jakub Jelinek <jakub at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |jakub at gcc dot gnu.org --- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Perhaps at least when seeing an unconditional POINTER_PLUS_EXPR with constant increment and no other bumps for the same pointer in the loop, we could derive upper niter bound from that, even when the loop has multiple exits etc.