Use after seen?

[polytypic]

Completion queue entries seem to be accessed after being marked as available for reuse, which, I assume, means that there is a potential data race. See the three snippets below:

ocaml-uring/lib/uring/uring_stubs.c

Lines 951 to 952 in c95951d

	io_uring_cqe_seen(ring, cqe);
	CAMLreturn(Val_cqe_some(Val_int(id), Val_int(cqe->res)));

ocaml-uring/lib/uring/uring_stubs.c

Lines 975 to 976 in c95951d

	io_uring_cqe_seen(ring, cqe);
	CAMLreturn(Val_cqe_some(Val_int(id), Val_int(cqe->res)));

ocaml-uring/lib/uring/uring_stubs.c

Lines 997 to 998 in c95951d

	io_uring_cqe_seen(ring, cqe);
	CAMLreturn(Val_cqe_some(Val_int(id), Val_int(cqe->res)));

[talex5]

I think you're right. Do you have a patch? I can make one if not.

[avsm]

a quick fix is in #124; it would be nice to make this whole function non allocating at some point in the future.