Flexelint polish

11e3dfb5 · Nils Goroll · c2534d7c · 11e3dfb5
Unverified Commit 11e3dfb5 authored Oct 02, 2023 by Nils Goroll
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 1 deletion

fellow_io_uring.c src/fellow_io_uring.c +3 -1

No files found.
--- a/src/fellow_io_uring.c
+++ b/src/fellow_io_uring.c
@@ -512,7 +512,9 @@ fellow_io_wait_completions(fellow_ioctx_t *ctxp,
 	if (min > space)
 		min = space;

-	//lint -e{845} strange, flexelint seems to disregard min = 0 argument?
+	/*lint -e{845} The right argument to operator '||' is certain to be 0
+	 * strange, flexelint seems to disregard min != 0 argument?
+	 */
 	while (min > ret || min == 0) {
 		advance = 0;
 		io_uring_for_each_cqe(ring, head, cqe) {