https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92955
--- Comment #9 from Richard Biener <rguenth at gcc dot gnu.org> --- Complete peeling is known of not eliminating all unreachable code which is why -Warray-bounds now runs _before_ unrolling only. Note it's practically impossible to cover all cases in peeling but there's some that could (identified in some old PR I can't find right now).
