https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67288
--- Comment #10 from Segher Boessenkool <segher at gcc dot gnu.org> --- This loop init stuff is created by the RTL loop optimisers; if those could see 0 cannot happen, they can optimise this.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67288
--- Comment #10 from Segher Boessenkool <segher at gcc dot gnu.org> --- This loop init stuff is created by the RTL loop optimisers; if those could see 0 cannot happen, they can optimise this.