diff --git a/src/gc-put.c b/src/gc-put.c index bf6e159a..501fb118 100644 --- a/src/gc-put.c +++ b/src/gc-put.c @@ -1246,6 +1246,7 @@ static int gc_fill_returned(MDBX_txn *txn, gcu_t *ctx) { MDBX_PNL_SIZEOF(txn->wr.repnl)); return MDBX_RESULT_TRUE; } + /* coverity[var_deref_model] */ memcpy(data.iov_base, txn->wr.repnl, MDBX_PNL_SIZEOF(txn->wr.repnl)); pgno_t *const from = MDBX_PNL_BEGIN(txn->wr.repnl), *const to = MDBX_PNL_END(txn->wr.repnl); TRACE("%s: fill %zu [ %zu:%" PRIaPGNO "...%zu:%" PRIaPGNO "] @%" PRIaTXN " (%s)", dbg_prefix(ctx), @@ -1309,6 +1310,7 @@ static int gc_fill_returned(MDBX_txn *txn, gcu_t *ctx) { pgno_t *const dst = data.iov_base; pgno_t *const src = MDBX_PNL_BEGIN(txn->wr.repnl) + left - chunk; + /* coverity[var_deref_op] */ *dst = (pgno_t)chunk; memcpy(dst + 1, src, chunk * sizeof(pgno_t)); stored += chunk; diff --git a/src/rkl.c b/src/rkl.c index 685fdc10..1eebbf45 100644 --- a/src/rkl.c +++ b/src/rkl.c @@ -317,6 +317,7 @@ int rkl_push(rkl_t *rkl, const txnid_t id, const bool known_continuous) { + old_solid_len; /* количество элементов списка, которые нужно переместить для вставки еще-одного/следующего элемента */ const size_t new_insert_cost = rkl->list_length - i; + /* coverity[logical_vs_bitwise] */ if (unlikely(swap_cost < new_insert_cost) || MDBX_DEBUG) { /* Изымаемая последовательность длиннее добавляемой, поэтому: * - список станет короче;