Re: [PATCH] bms_prev_member() can read beyond the end of the array of allocated words

[David Rowley]

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