On Thu, 9 Oct 2025 at 15:13, Michael Paquier <michael(at)paquier(dot)xyz> wrote:
> What do you think about the attached?
Thanks. Looks pretty good.
> + members = palloc(sizeof(int) * num_ops);
Any reason to pfree that and allocate that to the same size as it already was?
Wondering if the "members[pos] = members[--num_members];" is worth a
short comment. Maybe something like: /* zap this member by moving the
final array member into its place and shrinking the array by 1 */
David