https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108398
--- Comment #5 from Siddhesh Poyarekar <siddhesh at gcc dot gnu.org> --- Ack, I had a thinko with unsigned steps[] = {1, 1}; because in that case too n_steps doesn't get decremented, resulting in OOB access. I'm going to look at the original report[1] to see if the test case reduction was valid and will close this out as invalid if there's nothing interesting for the compiler to do there. Thanks!