On Aug 14 2025, at 11:49 am, David Rowley <dgrowle...@gmail.com> wrote:
> On Fri, 15 Aug 2025 at 03:43, Greg Burd <g...@burd.me> wrote: >> Well, that was rushed. Apologies. > > Would you be ok with adding the Assert after the "a == NULL" check?, i.e: > > if (a == NULL || prevbit == 0) > return -2; > > /* Validate callers didn't give us something out of range */ > Assert(prevbit <= a->nwords * BITS_PER_BITMAPWORD); > > David Good thinking, less contorted logic and a more obvious check for NULL and the result to expect in that case. -greg
v5-0001-Prevent-bms_prev_member-from-reading-beyond-the-e.patch
Description: Binary data
