test/asynctest.c:68: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned64 by call to `ASYNC_WAIT_CTX_clear_fd`.
Showing all 6 steps of the trace


test/asynctest.c:63:10: Call
61.   
62.       /* Second case: one fd added */
63.       if (!ASYNC_WAIT_CTX_set_wait_fd(waitctx, waitctx, MAGIC_WAIT_FD, NULL, NULL))
               ^
64.           return 0;
65.       ASYNC_pause_job();

crypto/async/async_wait.c:43:1: Parameter `ctx->numadd`
  41.       OPENSSL_free(ctx);
  42.   }
  43. > int ASYNC_WAIT_CTX_set_wait_fd(ASYNC_WAIT_CTX *ctx, const void *key,
  44.                                  OSSL_ASYNC_FD fd, void *custom_data,
  45.                                  void (*cleanup)(ASYNC_WAIT_CTX *, const void *,

test/asynctest.c:68:10: Call
66.   
67.       /* Third case: all fd removed */
68.       if (!ASYNC_WAIT_CTX_clear_fd(waitctx, waitctx))
               ^
69.           return 0;
70.       ASYNC_pause_job();

crypto/async/async_wait.c:139:1: <LHS trace>
137.   }
138.   
139. > int ASYNC_WAIT_CTX_clear_fd(ASYNC_WAIT_CTX *ctx, const void *key)
140.   {
141.       struct fd_lookup_st *curr, *prev;

crypto/async/async_wait.c:139:1: Parameter `ctx->numadd`
  137.   }
  138.   
  139. > int ASYNC_WAIT_CTX_clear_fd(ASYNC_WAIT_CTX *ctx, const void *key)
  140.   {
  141.       struct fd_lookup_st *curr, *prev;

crypto/async/async_wait.c:164:17: Binary operation: ([0, +oo] - 1):unsigned64 by call to `ASYNC_WAIT_CTX_clear_fd` 
  162.                    */
  163.                   OPENSSL_free(curr);
  164.                   ctx->numadd--;
                         ^
  165.                   return 1;
  166.               }
