fuzz coverage

Coverage Report

Created: 2026-04-24 13:48

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/root/bitcoin/src/kernel/disconnected_transactions.cpp
Line
Count
Source
1
// Copyright (c) 2023-present The Bitcoin Core developers
2
// Distributed under the MIT software license, see the accompanying
3
// file COPYING or http://www.opensource.org/licenses/mit-license.php.
4
5
#include <kernel/disconnected_transactions.h>
6
7
#include <cassert>
8
#include <core_memusage.h>
9
#include <memusage.h>
10
#include <primitives/transaction.h>
11
#include <util/hasher.h>
12
13
#include <memory>
14
#include <utility>
15
16
// It's almost certainly a logic bug if we don't clear out queuedTx before
17
// destruction, as we add to it while disconnecting blocks, and then we
18
// need to re-process remaining transactions to ensure mempool consistency.
19
// For now, assert() that we've emptied out this object on destruction.
20
// This assert() can always be removed if the reorg-processing code were
21
// to be refactored such that this assumption is no longer true (for
22
// instance if there was some other way we cleaned up the mempool after a
23
// reorg, besides draining this object).
24
DisconnectedBlockTransactions::~DisconnectedBlockTransactions()
25
30.1M
{
26
30.1M
    assert(queuedTx.empty());
27
30.1M
    assert(iters_by_txid.empty());
28
30.1M
    assert(cachedInnerUsage == 0);
29
30.1M
}
30
31
std::vector<CTransactionRef> DisconnectedBlockTransactions::LimitMemoryUsage()
32
26.9k
{
33
26.9k
    std::vector<CTransactionRef> evicted;
34
35
26.9k
    while (!queuedTx.empty() && DynamicMemoryUsage() > m_max_mem_usage) {
36
0
        evicted.emplace_back(queuedTx.front());
37
0
        cachedInnerUsage -= RecursiveDynamicUsage(queuedTx.front());
38
0
        iters_by_txid.erase(queuedTx.front()->GetHash());
39
0
        queuedTx.pop_front();
40
0
    }
41
26.9k
    return evicted;
42
26.9k
}
43
44
size_t DisconnectedBlockTransactions::DynamicMemoryUsage() const
45
26.9k
{
46
26.9k
    return cachedInnerUsage + memusage::DynamicUsage(iters_by_txid) + memusage::DynamicUsage(queuedTx);
47
26.9k
}
48
49
[[nodiscard]] std::vector<CTransactionRef> DisconnectedBlockTransactions::AddTransactionsFromBlock(const std::vector<CTransactionRef>& vtx)
50
26.9k
{
51
26.9k
    iters_by_txid.reserve(iters_by_txid.size() + vtx.size());
52
64.6k
    for (auto block_it = vtx.rbegin(); block_it != vtx.rend(); 
++block_it37.7k
) {
53
37.7k
        auto it = queuedTx.insert(queuedTx.end(), *block_it);
54
37.7k
        auto [_, inserted] = iters_by_txid.emplace((*block_it)->GetHash(), it);
55
37.7k
        assert(inserted); // callers may never pass multiple transactions with the same txid
56
37.7k
        cachedInnerUsage += RecursiveDynamicUsage(*block_it);
57
37.7k
    }
58
26.9k
    return LimitMemoryUsage();
59
26.9k
}
60
61
void DisconnectedBlockTransactions::removeForBlock(const std::vector<CTransactionRef>& vtx)
62
30.1M
{
63
    // Short-circuit in the common case of a block being added to the tip
64
30.1M
    if (queuedTx.empty()) {
65
30.0M
        return;
66
30.0M
    }
67
45.2k
    
for (const auto& tx : vtx)29.4k
{
68
45.2k
        auto iter = iters_by_txid.find(tx->GetHash());
69
45.2k
        if (iter != iters_by_txid.end()) {
70
3.84k
            auto list_iter = iter->second;
71
3.84k
            iters_by_txid.erase(iter);
72
3.84k
            cachedInnerUsage -= RecursiveDynamicUsage(*list_iter);
73
3.84k
            queuedTx.erase(list_iter);
74
3.84k
        }
75
45.2k
    }
76
29.4k
}
77
78
void DisconnectedBlockTransactions::clear()
79
15.1k
{
80
15.1k
    cachedInnerUsage = 0;
81
15.1k
    iters_by_txid.clear();
82
15.1k
    queuedTx.clear();
83
15.1k
}
84
85
std::list<CTransactionRef> DisconnectedBlockTransactions::take()
86
15.1k
{
87
15.1k
    std::list<CTransactionRef> ret = std::move(queuedTx);
88
15.1k
    clear();
89
15.1k
    return ret;
90
15.1k
}