mdbx: подсказки для coverity.

src/dpl.c

@@ -65,6 +65,8 @@ int dpl_alloc(MDBX_txn *txn) {
       unlikely(!dpl_reserve(txn, wanna)))
     return MDBX_ENOMEM;
 
+  /* LY: wr.dirtylist не может быть nullptr, так как либо уже выделен, либо будет выделен в dpl_reserve(). */
+  /* coverity[var_deref_model] */
   dpl_clear(txn->wr.dirtylist);
   return MDBX_SUCCESS;
 }

src/dxb.c

@@ -1290,6 +1290,7 @@ int dxb_sync_locked(MDBX_env *env, unsigned flags, meta_t *const pending, troika
   }
 
   uint64_t timestamp = 0;
+  /* coverity[array_null] */
   while ("workaround for https://libmdbx.dqdkfa.ru/dead-github/issues/269") {
     rc = coherency_check_written(env, pending->unsafe_txnid, target,
                                  bytes2pgno(env, ptr_dist(target, env->dxb_mmap.base)), &timestamp);

src/txn-basal.c

@@ -95,6 +95,7 @@ int txn_basal_start(MDBX_txn *txn, unsigned flags) {
   txn->wr.troika = meta_tap(env);
   const meta_ptr_t head = meta_recent(env, &txn->wr.troika);
   uint64_t timestamp = 0;
+  /* coverity[array_null] */
   while ("workaround for https://libmdbx.dqdkfa.ru/dead-github/issues/269") {
     int err = coherency_fetch_head(txn, head, &timestamp);
     if (likely(err == MDBX_SUCCESS))

src/txn-nested.c

@@ -405,6 +405,7 @@ int txn_nested_create(MDBX_txn *parent, const MDBX_txn_flags_t flags) {
 
   tASSERT(txn, MDBX_PNL_ALLOCLEN(txn->wr.repnl) >= MDBX_PNL_GETSIZE(parent->wr.repnl));
   memcpy(txn->wr.repnl, parent->wr.repnl, MDBX_PNL_SIZEOF(parent->wr.repnl));
+  /* coverity[assignment_where_comparison_intended] */
   tASSERT(txn, pnl_check_allocated(txn->wr.repnl, (txn->geo.first_unallocated /* LY: intentional assignment
                                                                              here, only for assertion */
                                                    = parent->geo.first_unallocated) -