https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115005
--- Comment #4 from Ozkan Sezer <sezeroz at gmail dot com> --- (In reply to Ozkan Sezer from comment #3) > > There is a jump threading there handling n==0 (aka numbits==-1u) and that is > > causing the warning. > > The thing is, n==0 is not guarding against numbits==-1u: it is guarding > against 0 members of fetch_16bit[] (and fetch_8bit[]) arrays. As far as > I can see, that's where gcc13 is confused, no? Hm, it seems I had replaced those fetch arrays in mmcmp-small.c adding them back and re-uploading so the issue is better visible.