Method removeForReorg

src/txmempool.cpp:655–692

}

void CTxMemPool::removeForReorg(CChain& chain, std::function<bool(txiter)> check_final_and_mature)
{
    // Remove transactions spending a coinbase which are now immature and no-longer-final transactions
    AssertLockHeld(cs);
    AssertLockHeld(::cs_main);

    setEntries txToRemove;
    for (indexed_transaction_set::const_iterator it = mapTx.begin(); it != mapTx.end(); it++) {
        if (check_final_and_mature(it)) txToRemove.insert(it);

        // On re-org, remove *all* peg-in and PAK-based peg-outs due to possible
        // invalidity from dynafed transitions
        // TODO: Only boot out now-invalid transactions. Re-orgs are very rare in
        // federated systems but can occasionally happen due to consensus algorithm.

        // Little hack to quickly check if any outputs are PAK ones
        // by sending in empty(reject) list.
        const CTransaction& tx = it->GetTx();
        if (!IsPAKValidTx(tx, CPAKList(), Params().ParentGenesisBlockHash(), Params().GetConsensus().pegged_asset)) {
            txToRemove.insert(it);
            continue;
        }
        for (const auto& input : tx.vin) {
            if (input.m_is_pegin) {
                txToRemove.insert(it);
                break;
            }
        }
    }
    setEntries setAllRemoves;
    for (txiter it : txToRemove) {
        CalculateDescendants(it, setAllRemoves);
    }
    RemoveStaged(setAllRemoves, false, MemPoolRemovalReason::REORG);
    for (indexed_transaction_set::const_iterator it = mapTx.begin(); it != mapTx.end(); it++) {
        assert(TestLockPointValidity(chain, it->GetLockPoints()));
    }
}

void CTxMemPool::removeConflicts(const CTransaction &tx)
{