https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115005
--- Comment #3 from Ozkan Sezer <sezeroz at gmail dot com> --- > 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? > Now if I understand it numbits can't be more than 128 > (or even 16 in the 16bit case). Indeed: 15 is the upper limit in 16 bit case, and 7 in 8 bits case.
