LCOV - code coverage report
Current view: top level - src/wallet - spend.cpp (source / functions) Coverage Total Hit
Test: total_coverage.info Lines: 97.0 % 757 734
Test Date: 2026-07-17 07:05:35 Functions: 100.0 % 39 39
Branches: 68.1 % 1294 881

             Branch data     Line data    Source code
       1                 :             : // Copyright (c) 2021-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 <algorithm>
       6                 :             : #include <common/args.h>
       7                 :             : #include <common/messages.h>
       8                 :             : #include <common/system.h>
       9                 :             : #include <consensus/amount.h>
      10                 :             : #include <consensus/validation.h>
      11                 :             : #include <interfaces/chain.h>
      12                 :             : #include <node/types.h>
      13                 :             : #include <numeric>
      14                 :             : #include <policy/policy.h>
      15                 :             : #include <policy/truc_policy.h>
      16                 :             : #include <primitives/transaction.h>
      17                 :             : #include <primitives/transaction_identifier.h>
      18                 :             : #include <script/script.h>
      19                 :             : #include <script/signingprovider.h>
      20                 :             : #include <script/solver.h>
      21                 :             : #include <util/check.h>
      22                 :             : #include <util/moneystr.h>
      23                 :             : #include <util/rbf.h>
      24                 :             : #include <util/trace.h>
      25                 :             : #include <util/translation.h>
      26                 :             : #include <wallet/coincontrol.h>
      27                 :             : #include <wallet/fees.h>
      28                 :             : #include <wallet/receive.h>
      29                 :             : #include <wallet/spend.h>
      30                 :             : #include <wallet/transaction.h>
      31                 :             : #include <wallet/wallet.h>
      32                 :             : 
      33                 :             : #include <cmath>
      34                 :             : 
      35                 :             : using common::StringForFeeReason;
      36                 :             : using common::TransactionErrorString;
      37                 :             : using interfaces::FoundBlock;
      38                 :             : using node::TransactionError;
      39                 :             : 
      40                 :             : TRACEPOINT_SEMAPHORE(coin_selection, selected_coins);
      41                 :             : TRACEPOINT_SEMAPHORE(coin_selection, normal_create_tx_internal);
      42                 :             : TRACEPOINT_SEMAPHORE(coin_selection, attempting_aps_create_tx);
      43                 :             : TRACEPOINT_SEMAPHORE(coin_selection, aps_create_tx_internal);
      44                 :             : 
      45                 :             : namespace wallet {
      46                 :             : static constexpr size_t OUTPUT_GROUP_MAX_ENTRIES{100};
      47                 :             : 
      48                 :             : /** Whether the descriptor represents, directly or not, a witness program. */
      49                 :      194546 : static bool IsSegwit(const Descriptor& desc) {
      50         [ +  + ]:      194546 :     if (const auto typ = desc.GetOutputType()) return *typ != OutputType::LEGACY;
      51                 :             :     return false;
      52                 :             : }
      53                 :             : 
      54                 :             : /** Whether to assume ECDSA signatures' will be high-r. */
      55                 :      181241 : static bool UseMaxSig(const std::optional<CTxIn>& txin, const CCoinControl* coin_control) {
      56                 :             :     // Use max sig if watch only inputs were used or if this particular input is an external input
      57                 :             :     // to ensure a sufficient fee is attained for the requested feerate.
      58   [ +  +  +  -  :      181241 :     return coin_control && txin && coin_control->IsExternalSelected(txin->prevout);
                   +  + ]
      59                 :             : }
      60                 :             : 
      61                 :             : /** Get the size of an input (in witness units) once it's signed.
      62                 :             :  *
      63                 :             :  * @param desc The output script descriptor of the coin spent by this input.
      64                 :             :  * @param txin Optionally the txin to estimate the size of. Used to determine the size of ECDSA signatures.
      65                 :             :  * @param coin_control Information about the context to determine the size of ECDSA signatures.
      66                 :             :  * @param tx_is_segwit Whether the transaction has at least a single input spending a segwit coin.
      67                 :             :  * @param can_grind_r Whether the signer will be able to grind the R of the signature.
      68                 :             :  */
      69                 :      182251 : static std::optional<int64_t> MaxInputWeight(const Descriptor& desc, const std::optional<CTxIn>& txin,
      70                 :             :                                              const CCoinControl* coin_control, const bool tx_is_segwit,
      71                 :             :                                              const bool can_grind_r) {
      72   [ +  +  +  +  :      182287 :     if (const auto sat_weight = desc.MaxSatisfactionWeight(!can_grind_r || UseMaxSig(txin, coin_control))) {
                   +  + ]
      73         [ +  - ]:      182241 :         if (const auto elems_count = desc.MaxSatisfactionElems()) {
      74                 :      182241 :             const bool is_segwit = IsSegwit(desc);
      75                 :             :             // Account for the size of the scriptsig and the number of elements on the witness stack. Note
      76                 :             :             // that if any input in the transaction is spending a witness program, we need to specify the
      77                 :             :             // witness stack size for every input regardless of whether it is segwit itself.
      78                 :             :             // NOTE: this also works in case of mixed scriptsig-and-witness such as in p2sh-wrapped segwit v0
      79                 :             :             // outputs. In this case the size of the scriptsig length will always be one (since the redeemScript
      80                 :             :             // is always a push of the witness program in this case, which is smaller than 253 bytes).
      81   [ +  +  +  + ]:      182241 :             const int64_t scriptsig_len = is_segwit ? 1 : GetSizeOfCompactSize(*sat_weight / WITNESS_SCALE_FACTOR);
      82   [ -  +  +  + ]:      182241 :             const int64_t witstack_len = is_segwit ? GetSizeOfCompactSize(*elems_count) : (tx_is_segwit ? 1 : 0);
      83                 :             :             // previous txid + previous vout + sequence + scriptsig len + witstack size + scriptsig or witness
      84                 :             :             // NOTE: sat_weight already accounts for the witness discount accordingly.
      85                 :      182241 :             return (32 + 4 + 4 + scriptsig_len) * WITNESS_SCALE_FACTOR + witstack_len + *sat_weight;
      86                 :             :         }
      87                 :             :     }
      88                 :             : 
      89                 :          10 :     return {};
      90                 :             : }
      91                 :             : 
      92                 :      276272 : int CalculateMaximumSignedInputSize(const CTxOut& txout, const COutPoint outpoint, const SigningProvider* provider, bool can_grind_r, const CCoinControl* coin_control)
      93                 :             : {
      94         [ +  + ]:      276272 :     if (!provider) return -1;
      95                 :             : 
      96         [ +  - ]:      166228 :     if (const auto desc = InferDescriptor(txout.scriptPubKey, *provider)) {
      97   [ +  -  +  -  :      664912 :         if (const auto weight = MaxInputWeight(*desc, CTxIn{outpoint}, coin_control, true, can_grind_r)) {
                   +  + ]
      98         [ +  - ]:      166221 :             return static_cast<int>(GetVirtualTransactionSize(*weight, 0, 0));
      99                 :             :         }
     100                 :      166221 :     }
     101                 :             : 
     102                 :           7 :     return -1;
     103                 :             : }
     104                 :             : 
     105                 :      122546 : int CalculateMaximumSignedInputSize(const CTxOut& txout, const CWallet* wallet, const CCoinControl* coin_control)
     106                 :             : {
     107                 :      122546 :     const std::unique_ptr<SigningProvider> provider = wallet->GetSolvingProvider(txout.scriptPubKey);
     108   [ +  -  +  - ]:      245092 :     return CalculateMaximumSignedInputSize(txout, COutPoint(), provider.get(), wallet->CanGrindR(), coin_control);
     109                 :      122546 : }
     110                 :             : 
     111                 :             : /** Infer a descriptor for the given output script. */
     112                 :       28328 : static std::unique_ptr<Descriptor> GetDescriptor(const CWallet* wallet, const CCoinControl* coin_control,
     113                 :             :                                                  const CScript script_pubkey)
     114                 :             : {
     115                 :       28328 :     MultiSigningProvider providers;
     116   [ +  -  +  + ]:       56606 :     for (const auto spkman: wallet->GetScriptPubKeyMans(script_pubkey)) {
     117   [ +  -  +  - ]:       28278 :         providers.AddProvider(spkman->GetSolvingProvider(script_pubkey));
     118                 :           0 :     }
     119         [ +  + ]:       28328 :     if (coin_control) {
     120   [ +  -  +  -  :       25315 :         providers.AddProvider(std::make_unique<FlatSigningProvider>(coin_control->m_external_provider));
                   -  + ]
     121                 :             :     }
     122         [ +  - ]:       28328 :     return InferDescriptor(script_pubkey, providers);
     123                 :       28328 : }
     124                 :             : 
     125                 :             : /** Infer the maximum size of this input after it will be signed. */
     126                 :       17526 : static std::optional<int64_t> GetSignedTxinWeight(const CWallet* wallet, const CCoinControl* coin_control,
     127                 :             :                                                   const CTxIn& txin, const CTxOut& txo, const bool tx_is_segwit,
     128                 :             :                                                   const bool can_grind_r)
     129                 :             : {
     130                 :             :     // If weight was provided, use that.
     131                 :       17526 :     std::optional<int64_t> weight;
     132   [ +  +  +  + ]:       17526 :     if (coin_control && (weight = coin_control->GetInputWeight(txin.prevout))) {
     133                 :        1503 :         return weight.value();
     134                 :             :     }
     135                 :             : 
     136                 :             :     // Otherwise, use the maximum satisfaction size provided by the descriptor.
     137         [ +  - ]:       16023 :     std::unique_ptr<Descriptor> desc{GetDescriptor(wallet, coin_control, txo.scriptPubKey)};
     138   [ +  -  +  -  :       32046 :     if (desc) return MaxInputWeight(*desc, {txin}, coin_control, tx_is_segwit, can_grind_r);
                   +  - ]
     139                 :             : 
     140                 :           0 :     return {};
     141                 :       16023 : }
     142                 :             : 
     143                 :             : // txouts needs to be in the order of tx.vin
     144                 :        3795 : TxSize CalculateMaximumSignedTxSize(const CTransaction &tx, const CWallet *wallet, const std::vector<CTxOut>& txouts, const CCoinControl* coin_control)
     145                 :             : {
     146                 :             :     // version + nLockTime + input count + output count
     147   [ -  +  +  +  :        3799 :     int64_t weight = (4 + 4 + GetSizeOfCompactSize(tx.vin.size()) + GetSizeOfCompactSize(tx.vout.size())) * WITNESS_SCALE_FACTOR;
             -  +  +  + ]
     148                 :             :     // Whether any input spends a witness program. Necessary to run before the next loop over the
     149                 :             :     // inputs in order to accurately compute the compactSize length for the witness data per input.
     150                 :        3795 :     bool is_segwit = std::any_of(txouts.begin(), txouts.end(), [&](const CTxOut& txo) {
     151         [ +  - ]:       12305 :         std::unique_ptr<Descriptor> desc{GetDescriptor(wallet, coin_control, txo.scriptPubKey)};
     152   [ +  -  +  - ]:       12305 :         if (desc) return IsSegwit(*desc);
     153                 :             :         return false;
     154                 :       12305 :     });
     155                 :             :     // Segwit marker and flag
     156         [ +  + ]:        3795 :     if (is_segwit) weight += 2;
     157                 :             : 
     158                 :             :     // Add the size of the transaction outputs.
     159         [ +  + ]:       47598 :     for (const auto& txo : tx.vout) weight += GetSerializeSize(txo) * WITNESS_SCALE_FACTOR;
     160                 :             : 
     161                 :             :     // Add the size of the transaction inputs as if they were signed.
     162   [ -  +  +  + ]:       21318 :     for (uint32_t i = 0; i < txouts.size(); i++) {
     163                 :       17526 :         const auto txin_weight = GetSignedTxinWeight(wallet, coin_control, tx.vin[i], txouts[i], is_segwit, wallet->CanGrindR());
     164         [ +  + ]:       17526 :         if (!txin_weight) return TxSize{-1, -1};
     165         [ -  + ]:       17523 :         assert(*txin_weight > -1);
     166                 :       17523 :         weight += *txin_weight;
     167                 :             :     }
     168                 :             : 
     169                 :             :     // It's ok to use 0 as the number of sigops since we never create any pathological transaction.
     170                 :        3792 :     return TxSize{GetVirtualTransactionSize(weight, 0, 0), weight};
     171                 :             : }
     172                 :             : 
     173                 :        3795 : TxSize CalculateMaximumSignedTxSize(const CTransaction &tx, const CWallet *wallet, const CCoinControl* coin_control)
     174                 :             : {
     175                 :        3795 :     std::vector<CTxOut> txouts;
     176                 :             :     // Look up the inputs. The inputs are either in the wallet, or in coin_control.
     177         [ +  + ]:       21321 :     for (const CTxIn& input : tx.vin) {
     178                 :       17526 :         const auto mi = wallet->mapWallet.find(input.prevout.hash);
     179                 :             :         // Can not estimate size without knowing the input details
     180         [ +  + ]:       17526 :         if (mi != wallet->mapWallet.end()) {
     181   [ -  +  -  + ]:       17490 :             assert(input.prevout.n < mi->second.tx->vout.size());
     182   [ +  -  +  - ]:       17490 :             txouts.emplace_back(mi->second.tx->vout.at(input.prevout.n));
     183         [ +  - ]:          36 :         } else if (coin_control) {
     184         [ +  - ]:          72 :             const auto& txout{coin_control->GetExternalOutput(input.prevout)};
     185         [ -  + ]:          36 :             if (!txout) return TxSize{-1, -1};
     186         [ +  - ]:          36 :             txouts.emplace_back(*txout);
     187                 :             :         } else {
     188                 :           0 :             return TxSize{-1, -1};
     189                 :             :         }
     190                 :             :     }
     191         [ +  - ]:        3795 :     return CalculateMaximumSignedTxSize(tx, wallet, txouts, coin_control);
     192                 :        3795 : }
     193                 :             : 
     194                 :        8159 : size_t CoinsResult::Size() const
     195                 :             : {
     196                 :        8159 :     size_t size{0};
     197         [ +  + ]:       14051 :     for (const auto& it : coins) {
     198         [ -  + ]:        5892 :         size += it.second.size();
     199                 :             :     }
     200                 :        8159 :     return size;
     201                 :             : }
     202                 :             : 
     203                 :        6554 : std::vector<COutput> CoinsResult::All() const
     204                 :             : {
     205                 :        6554 :     std::vector<COutput> all;
     206   [ +  -  +  - ]:        6554 :     all.reserve(Size());
     207         [ +  + ]:        9928 :     for (const auto& it : coins) {
     208         [ +  - ]:        3374 :         all.insert(all.end(), it.second.begin(), it.second.end());
     209                 :             :     }
     210                 :        6554 :     return all;
     211                 :           0 : }
     212                 :             : 
     213                 :           4 : void CoinsResult::Erase(const std::unordered_set<COutPoint, SaltedOutpointHasher>& coins_to_remove)
     214                 :             : {
     215         [ +  + ]:           8 :     for (auto& [type, vec] : coins) {
     216                 :           4 :         auto remove_it = std::remove_if(vec.begin(), vec.end(), [&](const COutput& coin) {
     217                 :             :             // remove it if it's on the set
     218         [ +  + ]:          17 :             if (!coins_to_remove.contains(coin.outpoint)) return false;
     219                 :             : 
     220                 :             :             // update cached amounts
     221                 :           5 :             total_amount -= coin.txout.nValue;
     222   [ +  -  +  - ]:           5 :             if (coin.HasEffectiveValue() && total_effective_amount.has_value()) total_effective_amount = *total_effective_amount - coin.GetEffectiveValue();
     223                 :             :             return true;
     224                 :             :         });
     225                 :           4 :         vec.erase(remove_it, vec.end());
     226                 :             :     }
     227                 :           4 : }
     228                 :             : 
     229                 :          21 : void CoinsResult::Shuffle(FastRandomContext& rng_fast)
     230                 :             : {
     231         [ +  + ]:          58 :     for (auto& it : coins) {
     232                 :          37 :         std::shuffle(it.second.begin(), it.second.end(), rng_fast);
     233                 :             :     }
     234                 :          21 : }
     235                 :             : 
     236                 :      275644 : void CoinsResult::Add(OutputType type, const COutput& out)
     237                 :             : {
     238                 :      275644 :     coins[type].emplace_back(out);
     239                 :      275644 :     total_amount += out.txout.nValue;
     240         [ +  + ]:      275644 :     if (out.HasEffectiveValue()) {
     241         [ +  + ]:      536440 :         total_effective_amount = total_effective_amount.has_value() ?
     242                 :      268220 :                 *total_effective_amount + out.GetEffectiveValue() : out.GetEffectiveValue();
     243                 :             :     }
     244                 :      275644 : }
     245                 :             : 
     246                 :      153705 : static OutputType GetOutputType(TxoutType type, bool is_from_p2sh)
     247                 :             : {
     248   [ +  +  +  + ]:      153705 :     switch (type) {
     249                 :             :         case TxoutType::WITNESS_V1_TAPROOT:
     250                 :             :             return OutputType::BECH32M;
     251                 :      110158 :         case TxoutType::WITNESS_V0_KEYHASH:
     252                 :      110158 :         case TxoutType::WITNESS_V0_SCRIPTHASH:
     253         [ +  + ]:      110158 :             if (is_from_p2sh) return OutputType::P2SH_SEGWIT;
     254                 :      109200 :             else return OutputType::BECH32;
     255                 :       39157 :         case TxoutType::SCRIPTHASH:
     256                 :       39157 :         case TxoutType::PUBKEYHASH:
     257                 :       39157 :             return OutputType::LEGACY;
     258                 :          37 :         default:
     259                 :          37 :             return OutputType::UNKNOWN;
     260                 :             :     }
     261                 :             : }
     262                 :             : 
     263                 :             : // Fetch and validate the coin control selected inputs.
     264                 :             : // Coins could be internal (from the wallet) or external.
     265                 :         524 : util::Result<CoinsResult> FetchSelectedInputs(const CWallet& wallet, const CCoinControl& coin_control,
     266                 :             :                                             const CoinSelectionParams& coin_selection_params)
     267                 :             : {
     268         [ +  - ]:         524 :     CoinsResult result;
     269         [ +  - ]:         524 :     const bool can_grind_r = wallet.CanGrindR();
     270   [ +  -  +  - ]:         524 :     std::map<COutPoint, CAmount> map_of_bump_fees = wallet.chain().calculateIndividualBumpFees(coin_control.ListSelected(), coin_selection_params.m_effective_feerate);
     271   [ +  -  +  + ]:        6220 :     for (const COutPoint& outpoint : coin_control.ListSelected()) {
     272   [ +  -  +  + ]:        5702 :         int64_t input_bytes = coin_control.GetInputWeight(outpoint).value_or(-1);
     273         [ +  - ]:        2503 :         if (input_bytes != -1) {
     274         [ +  - ]:        2503 :             input_bytes = GetVirtualTransactionSize(input_bytes, 0, 0);
     275                 :             :         }
     276                 :        5702 :         CTxOut txout;
     277   [ +  -  +  + ]:        5702 :         if (auto txo = wallet.GetTXO(outpoint)) {
     278                 :        5654 :             txout = txo->GetTxOut();
     279         [ +  + ]:        5654 :             if (input_bytes == -1) {
     280         [ +  - ]:        3180 :                 input_bytes = CalculateMaximumSignedInputSize(txout, &wallet, &coin_control);
     281                 :             :             }
     282         [ +  - ]:        5654 :             const CWalletTx& parent_tx = txo->GetWalletTx();
     283   [ +  -  +  + ]:        5654 :             if (wallet.GetTxDepthInMainChain(parent_tx) == 0) {
     284   [ +  +  -  + ]:          92 :                 if (parent_tx.tx->version == TRUC_VERSION && coin_control.m_version != TRUC_VERSION) {
     285         [ +  - ]:           6 :                     return util::Error{strprintf(_("Can't spend unconfirmed version 3 pre-selected input with a version %d tx"), coin_control.m_version)};
     286   [ +  +  +  - ]:          90 :                 } else if (coin_control.m_version == TRUC_VERSION && parent_tx.tx->version != TRUC_VERSION) {
     287         [ +  - ]:           3 :                     return util::Error{strprintf(_("Can't spend unconfirmed version %d pre-selected input with a version 3 tx"), parent_tx.tx->version)};
     288                 :             :                 }
     289                 :             :             }
     290                 :             :         } else {
     291                 :             :             // The input is external. We did not find the tx in mapWallet.
     292         [ +  - ]:          48 :             const auto out{coin_control.GetExternalOutput(outpoint)};
     293         [ -  + ]:          48 :             if (!out) {
     294   [ #  #  #  # ]:           0 :                 return util::Error{strprintf(_("Not found pre-selected input %s"), outpoint.ToString())};
     295                 :             :             }
     296                 :             : 
     297                 :          48 :             txout = *out;
     298                 :          48 :         }
     299                 :             : 
     300         [ +  + ]:        5699 :         if (input_bytes == -1) {
     301         [ +  - ]:          19 :             input_bytes = CalculateMaximumSignedInputSize(txout, outpoint, &coin_control.m_external_provider, can_grind_r, &coin_control);
     302                 :             :         }
     303                 :             : 
     304         [ +  + ]:          19 :         if (input_bytes == -1) {
     305   [ +  -  +  - ]:           9 :             return util::Error{strprintf(_("Not solvable pre-selected input %s"), outpoint.ToString())}; // Not solvable, can't estimate size for fee
     306                 :             :         }
     307                 :             : 
     308                 :             :         /* Set some defaults for depth, solvable, safe, time, and from_me as these don't matter for preset inputs since no selection is being done. */
     309         [ +  - ]:        5696 :         COutput output(outpoint, txout, /*depth=*/0, input_bytes, /*solvable=*/true, /*safe=*/true, /*time=*/0, /*from_me=*/false, coin_selection_params.m_effective_feerate);
     310         [ +  - ]:        5696 :         output.ApplyBumpFee(map_of_bump_fees.at(output.outpoint));
     311         [ +  - ]:        5696 :         result.Add(OutputType::UNKNOWN, output);
     312                 :        5702 :     }
     313                 :         518 :     return result;
     314                 :         524 : }
     315                 :             : 
     316                 :        4108 : CoinsResult AvailableCoins(const CWallet& wallet,
     317                 :             :                            const CCoinControl* coinControl,
     318                 :             :                            std::optional<CFeeRate> feerate,
     319                 :             :                            const CoinFilterParams& params)
     320                 :             : {
     321                 :        4108 :     AssertLockHeld(wallet.cs_wallet);
     322                 :             : 
     323         [ +  - ]:        4108 :     CoinsResult result;
     324                 :             :     // track unconfirmed truc outputs separately if we are tracking trucness
     325                 :        4108 :     std::vector<std::pair<OutputType, COutput>> unconfirmed_truc_coins;
     326         [ +  - ]:        4108 :     std::unordered_map<Txid, CAmount, SaltedTxidHasher> truc_txid_by_value;
     327                 :             :     // Either the WALLET_FLAG_AVOID_REUSE flag is not set (in which case we always allow), or we default to avoiding, and only in the case where
     328                 :             :     // a coin control object is provided, and has the avoid address reuse flag set to false, do we allow already used addresses
     329   [ +  -  +  +  :        4108 :     bool allow_used_addresses = !wallet.IsWalletFlagSet(WALLET_FLAG_AVOID_REUSE) || (coinControl && !coinControl->m_avoid_address_reuse);
             +  -  +  + ]
     330         [ +  + ]:        4071 :     const int min_depth = {coinControl ? coinControl->m_min_depth : DEFAULT_MIN_DEPTH};
     331                 :        4099 :     const int max_depth = {coinControl ? coinControl->m_max_depth : DEFAULT_MAX_DEPTH};
     332         [ +  + ]:        4099 :     const bool only_safe = {coinControl ? !coinControl->m_include_unsafe_inputs : true};
     333         [ +  - ]:        4108 :     const bool can_grind_r = wallet.CanGrindR();
     334                 :        4108 :     std::vector<COutPoint> outpoints;
     335                 :             : 
     336         [ +  - ]:        4108 :     std::set<Txid> trusted_parents;
     337                 :             :     // Cache for whether each tx passes the tx level checks (first bool), and whether the transaction is "safe" (second bool)
     338         [ +  - ]:        4108 :     std::unordered_map<Txid, std::pair<bool, bool>, SaltedTxidHasher> tx_safe_cache;
     339         [ +  + ]:      693511 :     for (const auto& [outpoint, txo] : wallet.GetTXOs()) {
     340                 :      689403 :         const CWalletTx& wtx = txo.GetWalletTx();
     341                 :      689403 :         const CTxOut& output = txo.GetTxOut();
     342                 :             : 
     343   [ +  -  +  +  :      689403 :         if (tx_safe_cache.contains(outpoint.hash) && !tx_safe_cache.at(outpoint.hash).first) {
                   +  + ]
     344                 :         761 :             continue;
     345                 :             :         }
     346                 :             : 
     347         [ +  - ]:      688642 :         int nDepth = wallet.GetTxDepthInMainChain(wtx);
     348                 :             : 
     349                 :             :         // Perform tx level checks if we haven't already come across outputs from this tx before.
     350         [ +  + ]:      688642 :         if (!tx_safe_cache.contains(outpoint.hash)) {
     351   [ +  -  +  - ]:      663574 :             tx_safe_cache[outpoint.hash] = {false, false};
     352                 :             : 
     353   [ +  -  +  +  :      663574 :             if (wallet.IsTxImmatureCoinBase(wtx) && !params.include_immature_coinbase)
                   +  + ]
     354                 :      231312 :                 continue;
     355                 :             : 
     356         [ +  + ]:      432262 :             if (nDepth < 0)
     357                 :        4380 :                 continue;
     358                 :             : 
     359                 :             :             // We should not consider coins which aren't at least in our mempool
     360                 :             :             // It's possible for these to be conflicted via ancestors which we may never be able to detect
     361   [ +  +  +  -  :      427882 :             if (nDepth == 0 && !wtx.InMempool())
                   +  + ]
     362                 :        4629 :                 continue;
     363                 :             : 
     364         [ +  - ]:      423253 :             bool safeTx = CachedTxIsTrusted(wallet, wtx, trusted_parents);
     365                 :             : 
     366                 :             :             // We should not consider coins from transactions that are replacing
     367                 :             :             // other transactions.
     368                 :             :             //
     369                 :             :             // Example: There is a transaction A which is replaced by bumpfee
     370                 :             :             // transaction B. In this case, we want to prevent creation of
     371                 :             :             // a transaction B' which spends an output of B.
     372                 :             :             //
     373                 :             :             // Reason: If transaction A were initially confirmed, transactions B
     374                 :             :             // and B' would no longer be valid, so the user would have to create
     375                 :             :             // a new transaction C to replace B'. However, in the case of a
     376                 :             :             // one-block reorg, transactions B' and C might BOTH be accepted,
     377                 :             :             // when the user only wanted one of them. Specifically, there could
     378                 :             :             // be a 1-block reorg away from the chain where transactions A and C
     379                 :             :             // were accepted to another chain where B, B', and C were all
     380                 :             :             // accepted.
     381   [ +  +  +  + ]:      423253 :             if (nDepth == 0 && wtx.m_replaces_txid) {
     382                 :             :                 safeTx = false;
     383                 :             :             }
     384                 :             : 
     385                 :             :             // Similarly, we should not consider coins from transactions that
     386                 :             :             // have been replaced. In the example above, we would want to prevent
     387                 :             :             // creation of a transaction A' spending an output of A, because if
     388                 :             :             // transaction B were initially confirmed, conflicting with A and
     389                 :             :             // A', we wouldn't want to the user to create a transaction D
     390                 :             :             // intending to replace A', but potentially resulting in a scenario
     391                 :             :             // where A, A', and D could all be accepted (instead of just B and
     392                 :             :             // D, or just A and A' like the user would want).
     393   [ +  +  +  + ]:      423253 :             if (nDepth == 0 && wtx.m_replaced_by_txid) {
     394                 :             :                 safeTx = false;
     395                 :             :             }
     396                 :             : 
     397   [ +  +  +  + ]:      423253 :             if (nDepth == 0 && params.check_version_trucness) {
     398         [ +  + ]:       66500 :                 if (coinControl->m_version == TRUC_VERSION) {
     399         [ +  + ]:          27 :                     if (wtx.tx->version != TRUC_VERSION) continue;
     400                 :             :                     // this unconfirmed v3 transaction already has a child
     401         [ +  + ]:          23 :                     if (wtx.truc_child_in_mempool.has_value()) continue;
     402                 :             : 
     403                 :             :                     // this unconfirmed v3 transaction has a parent: spending would create a third generation
     404                 :          17 :                     size_t ancestors, unused_cluster_count;
     405         [ +  - ]:          17 :                     wallet.chain().getTransactionAncestry(wtx.tx->GetHash(), ancestors, unused_cluster_count);
     406         [ +  + ]:          17 :                     if (ancestors > 1) continue;
     407                 :             :                 } else {
     408         [ +  + ]:       66473 :                     if (wtx.tx->version == TRUC_VERSION) continue;
     409                 :             :                 }
     410                 :             :             }
     411                 :             : 
     412   [ +  +  +  + ]:      423233 :             if (only_safe && !safeTx) {
     413                 :        2015 :                 continue;
     414                 :             :             }
     415                 :             : 
     416         [ +  + ]:      421218 :             if (nDepth < min_depth || nDepth > max_depth) {
     417                 :        1627 :                 continue;
     418                 :             :             }
     419                 :             : 
     420         [ +  - ]:      419591 :             tx_safe_cache[outpoint.hash] = {true, safeTx};
     421                 :             :         }
     422   [ +  -  -  + ]:      444659 :         const auto& [tx_ok, tx_safe] = tx_safe_cache.at(outpoint.hash);
     423         [ -  + ]:      444659 :         if (!Assume(tx_ok)) {
     424                 :           0 :             continue;
     425                 :             :         }
     426                 :             : 
     427   [ +  +  -  + ]:      444659 :         if (output.nValue < params.min_amount || output.nValue > params.max_amount)
     428                 :         373 :             continue;
     429                 :             : 
     430                 :             :         // Skip manually selected coins (the caller can fetch them directly)
     431   [ +  +  +  -  :      444286 :         if (coinControl && coinControl->HasSelected() && coinControl->IsSelected(outpoint))
          +  +  +  -  +  
                      + ]
     432                 :        4009 :             continue;
     433                 :             : 
     434   [ +  -  +  +  :      440277 :         if (wallet.IsLockedCoin(outpoint) && params.skip_locked)
                   +  + ]
     435                 :         396 :             continue;
     436                 :             : 
     437   [ +  -  +  + ]:      439881 :         if (wallet.IsSpent(outpoint))
     438                 :      286176 :             continue;
     439                 :             : 
     440   [ +  +  +  -  :      153705 :         if (!allow_used_addresses && wallet.IsSpentKey(output.scriptPubKey)) {
                   +  - ]
     441                 :           0 :             continue;
     442                 :             :         }
     443                 :             : 
     444         [ +  - ]:      153705 :         bool tx_from_me = CachedTxIsFromMe(wallet, wtx);
     445                 :             : 
     446         [ +  - ]:      153705 :         std::unique_ptr<SigningProvider> provider = wallet.GetSolvingProvider(output.scriptPubKey);
     447                 :             : 
     448         [ +  - ]:      153705 :         int input_bytes = CalculateMaximumSignedInputSize(output, COutPoint(), provider.get(), can_grind_r, coinControl);
     449                 :             :         // Because CalculateMaximumSignedInputSize infers a solvable descriptor to get the satisfaction size,
     450                 :             :         // it is safe to assume that this input is solvable if input_bytes is greater than -1.
     451                 :      153705 :         bool solvable = input_bytes > -1;
     452                 :             : 
     453                 :             :         // Obtain script type
     454                 :      153705 :         std::vector<std::vector<uint8_t>> script_solutions;
     455         [ +  - ]:      153705 :         TxoutType type = Solver(output.scriptPubKey, script_solutions);
     456                 :             : 
     457                 :             :         // If the output is P2SH and solvable, we want to know if it is
     458                 :             :         // a P2SH (legacy) or one of P2SH-P2WPKH, P2SH-P2WSH (P2SH-Segwit). We can determine
     459                 :             :         // this from the redeemScript. If the output is not solvable, it will be classified
     460                 :             :         // as a P2SH (legacy), since we have no way of knowing otherwise without the redeemScript
     461                 :      153705 :         bool is_from_p2sh{false};
     462         [ +  + ]:      153705 :         if (type == TxoutType::SCRIPTHASH && solvable) {
     463                 :         975 :             CScript script;
     464   [ -  +  +  -  :         975 :             if (!provider->GetCScript(CScriptID(uint160(script_solutions[0])), script)) continue;
                   -  + ]
     465         [ +  - ]:         975 :             type = Solver(script, script_solutions);
     466                 :         975 :             is_from_p2sh = true;
     467                 :         975 :         }
     468                 :             : 
     469                 :      153705 :         auto available_output_type = GetOutputType(type, is_from_p2sh);
     470   [ +  -  +  - ]:      153705 :         auto available_output = COutput(outpoint, output, nDepth, input_bytes, solvable, tx_safe, wtx.GetTxTime(), tx_from_me, feerate);
     471   [ +  +  +  +  :      153705 :         if (wtx.tx->version == TRUC_VERSION && nDepth == 0 && params.check_version_trucness) {
                   +  + ]
     472         [ +  - ]:          14 :             unconfirmed_truc_coins.emplace_back(available_output_type, available_output);
     473         [ +  - ]:          14 :             auto [it, _] = truc_txid_by_value.try_emplace(wtx.tx->GetHash(), 0);
     474                 :          14 :             it->second += output.nValue;
     475                 :             :         } else {
     476         [ +  - ]:      153691 :             result.Add(available_output_type, available_output);
     477                 :             :         }
     478                 :             : 
     479         [ +  - ]:      153705 :         outpoints.push_back(outpoint);
     480                 :             : 
     481                 :             :         // Checks the sum amount of all UTXO's.
     482         [ -  + ]:      153705 :         if (params.min_sum_amount != MAX_MONEY) {
     483         [ #  # ]:           0 :             if (result.GetTotalAmount() >= params.min_sum_amount) {
     484                 :             :                 return result;
     485                 :             :             }
     486                 :             :         }
     487                 :             : 
     488                 :             :         // Checks the maximum number of UTXO's.
     489   [ -  +  -  -  :      153705 :         if (params.max_count > 0 && result.Size() >= params.max_count) {
                   -  - ]
     490                 :             :             return result;
     491                 :             :         }
     492                 :      153705 :     }
     493                 :             : 
     494                 :             :     // Return all the coins from one TRUC transaction, that have the highest value.
     495                 :             :     // This could be improved in the future by encoding these restrictions in
     496                 :             :     // the coin selection itself so that we don't have to filter out
     497                 :             :     // other unconfirmed TRUC coins beforehand.
     498   [ +  +  +  + ]:        7778 :     if (params.check_version_trucness && unconfirmed_truc_coins.size() > 0) {
     499                 :          12 :         auto highest_value_truc_tx = std::max_element(truc_txid_by_value.begin(), truc_txid_by_value.end(), [](const auto& tx1, const auto& tx2){
     500         [ -  + ]:           1 :                 return tx1.second < tx2.second;
     501                 :             :                 });
     502                 :             : 
     503                 :          12 :         const Txid& truc_txid = highest_value_truc_tx->first;
     504   [ +  +  +  + ]:          26 :         for (const auto& [type, output] : unconfirmed_truc_coins) {
     505         [ +  + ]:          14 :             if (output.outpoint.hash == truc_txid) {
     506         [ +  - ]:          13 :                     result.Add(type, output);
     507                 :             :             }
     508                 :             :         }
     509                 :             :     }
     510                 :             : 
     511         [ +  + ]:        4108 :     if (feerate.has_value()) {
     512         [ +  - ]:        3658 :         std::map<COutPoint, CAmount> map_of_bump_fees = wallet.chain().calculateIndividualBumpFees(outpoints, feerate.value());
     513                 :             : 
     514         [ +  + ]:        9286 :         for (auto& [_, outputs] : result.coins) {
     515         [ +  + ]:      151908 :             for (auto& output : outputs) {
     516         [ +  - ]:      146280 :                 output.ApplyBumpFee(map_of_bump_fees.at(output.outpoint));
     517                 :             :             }
     518                 :             :         }
     519                 :        3658 :     }
     520                 :             : 
     521                 :             :     return result;
     522                 :        4108 : }
     523                 :             : 
     524                 :           5 : const CTxOut& FindNonChangeParentOutput(const CWallet& wallet, const COutPoint& outpoint)
     525                 :             : {
     526                 :           5 :     AssertLockHeld(wallet.cs_wallet);
     527         [ -  + ]:           5 :     const CWalletTx* wtx{Assert(wallet.GetWalletTx(outpoint.hash))};
     528                 :             : 
     529                 :           5 :     const CTransaction* ptx = wtx->tx.get();
     530                 :           5 :     int n = outpoint.n;
     531   [ +  -  -  +  :           7 :     while (OutputIsChange(wallet, ptx->vout[n]) && ptx->vin.size() > 0) {
                   +  - ]
     532                 :           7 :         const COutPoint& prevout = ptx->vin[0].prevout;
     533                 :           7 :         const CWalletTx* it = wallet.GetWalletTx(prevout.hash);
     534   [ -  +  +  -  :           9 :         if (!it || it->tx->vout.size() <= prevout.n ||
             +  -  +  + ]
     535                 :           2 :             !wallet.IsMine(it->tx->vout[prevout.n])) {
     536                 :             :             break;
     537                 :             :         }
     538                 :           2 :         ptx = it->tx.get();
     539                 :           2 :         n = prevout.n;
     540                 :             :     }
     541                 :           5 :     return ptx->vout[n];
     542                 :             : }
     543                 :             : 
     544                 :           3 : std::map<CTxDestination, std::vector<COutput>> ListCoins(const CWallet& wallet)
     545                 :             : {
     546                 :           3 :     AssertLockHeld(wallet.cs_wallet);
     547                 :             : 
     548         [ +  - ]:           3 :     std::map<CTxDestination, std::vector<COutput>> result;
     549                 :             : 
     550         [ +  - ]:           3 :     CCoinControl coin_control;
     551                 :           3 :     CoinFilterParams coins_params;
     552                 :           3 :     coins_params.skip_locked = false;
     553   [ +  -  +  -  :           8 :     for (const COutput& coin : AvailableCoins(wallet, &coin_control, /*feerate=*/std::nullopt, coins_params).All()) {
                   +  + ]
     554                 :           5 :         CTxDestination address;
     555   [ +  -  +  -  :           5 :         if (!ExtractDestination(FindNonChangeParentOutput(wallet, coin.outpoint).scriptPubKey, address)) {
                   +  - ]
     556                 :             :             // For backwards compatibility, we convert P2PK output scripts into PKHash destinations
     557         [ +  - ]:           5 :             if (auto pk_dest = std::get_if<PubKeyDestination>(&address)) {
     558         [ +  - ]:           5 :                 address = PKHash(pk_dest->GetPubKey());
     559                 :             :             } else {
     560                 :           0 :                 continue;
     561                 :             :             }
     562                 :             :         }
     563   [ +  -  +  - ]:           5 :         result[address].emplace_back(coin);
     564                 :           8 :     }
     565                 :           3 :     return result;
     566                 :           3 : }
     567                 :             : 
     568                 :        6729 : FilteredOutputGroups GroupOutputs(const CWallet& wallet,
     569                 :             :                           const CoinsResult& coins,
     570                 :             :                           const CoinSelectionParams& coin_sel_params,
     571                 :             :                           const std::vector<SelectionFilter>& filters,
     572                 :             :                           std::vector<OutputGroup>& ret_discarded_groups)
     573                 :             : {
     574         [ +  + ]:        6729 :     FilteredOutputGroups filtered_groups;
     575                 :             : 
     576         [ +  + ]:        6729 :     if (!coin_sel_params.m_avoid_partial_spends) {
     577                 :             :         // Allowing partial spends means no grouping. Each COutput gets its own OutputGroup
     578         [ +  + ]:       11087 :         for (const auto& [type, outputs] : coins.coins) {
     579         [ +  + ]:      526155 :             for (const COutput& output : outputs) {
     580                 :             :                 // Get mempool info
     581                 :      520198 :                 size_t ancestors, cluster_count;
     582         [ +  - ]:      520198 :                 wallet.chain().getTransactionAncestry(output.outpoint.hash, ancestors, cluster_count);
     583                 :             : 
     584                 :             :                 // Create a new group per output and add it to the all groups vector
     585         [ +  - ]:      520198 :                 OutputGroup group(coin_sel_params);
     586   [ +  -  +  - ]:      520198 :                 group.Insert(std::make_shared<COutput>(output), ancestors, cluster_count);
     587                 :             : 
     588                 :             :                 // Each filter maps to a different set of groups
     589                 :      520198 :                 bool accepted = false;
     590         [ +  + ]:     1863861 :                 for (const auto& sel_filter : filters) {
     591                 :     1343663 :                     const auto& filter = sel_filter.filter;
     592   [ +  -  +  + ]:     1343663 :                     if (!group.EligibleForSpending(filter)) continue;
     593   [ +  -  +  - ]:     1286382 :                     filtered_groups[filter].Push(group, type, /*insert_positive=*/true, /*insert_mixed=*/true);
     594                 :             :                     accepted = true;
     595                 :             :                 }
     596   [ +  +  +  - ]:      520198 :                 if (!accepted) ret_discarded_groups.emplace_back(group);
     597                 :      520198 :             }
     598                 :             :         }
     599                 :             :         return filtered_groups;
     600                 :             :     }
     601                 :             : 
     602                 :             :     // We want to combine COutputs that have the same scriptPubKey into single OutputGroups
     603                 :             :     // except when there are more than OUTPUT_GROUP_MAX_ENTRIES COutputs grouped in an OutputGroup.
     604                 :             :     // To do this, we maintain a map where the key is the scriptPubKey and the value is a vector of OutputGroups.
     605                 :             :     // For each COutput, we check if the scriptPubKey is in the map, and if it is, the COutput is added
     606                 :             :     // to the last OutputGroup in the vector for the scriptPubKey. When the last OutputGroup has
     607                 :             :     // OUTPUT_GROUP_MAX_ENTRIES COutputs, a new OutputGroup is added to the end of the vector.
     608                 :        1599 :     typedef std::map<std::pair<CScript, OutputType>, std::vector<OutputGroup>> ScriptPubKeyToOutgroup;
     609                 :      128961 :     const auto& insert_output = [&](
     610                 :             :             const std::shared_ptr<COutput>& output, OutputType type, size_t ancestors, size_t cluster_count,
     611                 :             :             ScriptPubKeyToOutgroup& groups_map) {
     612         [ +  - ]:      127362 :         std::vector<OutputGroup>& groups = groups_map[std::make_pair(output->txout.scriptPubKey,type)];
     613                 :             : 
     614   [ -  +  +  + ]:      127362 :         if (groups.size() == 0) {
     615                 :             :             // No OutputGroups for this scriptPubKey yet, add one
     616                 :       78794 :             groups.emplace_back(coin_sel_params);
     617                 :             :         }
     618                 :             : 
     619                 :             :         // Get the last OutputGroup in the vector so that we can add the COutput to it
     620                 :             :         // A pointer is used here so that group can be reassigned later if it is full.
     621                 :      127362 :         OutputGroup* group = &groups.back();
     622                 :             : 
     623                 :             :         // Check if this OutputGroup is full. We limit to OUTPUT_GROUP_MAX_ENTRIES when using -avoidpartialspends
     624                 :             :         // to avoid surprising users with very high fees.
     625   [ -  +  +  + ]:      127362 :         if (group->m_outputs.size() >= OUTPUT_GROUP_MAX_ENTRIES) {
     626                 :             :             // The last output group is full, add a new group to the vector and use that group for the insertion
     627                 :         230 :             groups.emplace_back(coin_sel_params);
     628                 :         230 :             group = &groups.back();
     629                 :             :         }
     630                 :             : 
     631                 :      127362 :         group->Insert(output, ancestors, cluster_count);
     632                 :      127362 :     };
     633                 :             : 
     634                 :        1599 :     ScriptPubKeyToOutgroup spk_to_groups_map;
     635                 :        1599 :     ScriptPubKeyToOutgroup spk_to_positive_groups_map;
     636         [ +  + ]:        4115 :     for (const auto& [type, outs] : coins.coins) {
     637         [ +  + ]:       66204 :         for (const COutput& output : outs) {
     638                 :       63688 :             size_t ancestors, cluster_count;
     639         [ +  - ]:       63688 :             wallet.chain().getTransactionAncestry(output.outpoint.hash, ancestors, cluster_count);
     640                 :             : 
     641         [ +  - ]:       63688 :             const auto& shared_output = std::make_shared<COutput>(output);
     642                 :             :             // Filter for positive only before adding the output
     643         [ +  + ]:       63688 :             if (output.GetEffectiveValue() > 0) {
     644         [ +  - ]:       63674 :                 insert_output(shared_output, type, ancestors, cluster_count, spk_to_positive_groups_map);
     645                 :             :             }
     646                 :             : 
     647                 :             :             // 'All' groups
     648         [ +  - ]:       63688 :             insert_output(shared_output, type, ancestors, cluster_count, spk_to_groups_map);
     649                 :       63688 :         }
     650                 :             :     }
     651                 :             : 
     652                 :             :     // Now we go through the entire maps and pull out the OutputGroups
     653                 :        4797 :     const auto& push_output_groups = [&](const ScriptPubKeyToOutgroup& groups_map, bool positive_only) {
     654         [ +  + ]:       81992 :         for (const auto& [script, groups] : groups_map) {
     655                 :             :             // Go through the vector backwards. This allows for the first item we deal with being the partial group.
     656         [ +  + ]:      157818 :             for (auto group_it = groups.rbegin(); group_it != groups.rend(); group_it++) {
     657                 :       79024 :                 const OutputGroup& group = *group_it;
     658                 :             : 
     659                 :             :                 // Each filter maps to a different set of groups
     660                 :       79024 :                 bool accepted = false;
     661         [ +  + ]:      553350 :                 for (const auto& sel_filter : filters) {
     662                 :      474326 :                     const auto& filter = sel_filter.filter;
     663         [ +  + ]:      474326 :                     if (!group.EligibleForSpending(filter)) continue;
     664                 :             : 
     665                 :             :                     // Don't include partial groups if there are full groups too and we don't want partial groups
     666   [ +  +  +  +  :      737022 :                     if (group_it == groups.rbegin() && groups.size() > 1 && !filter.m_include_partial_groups) {
                   +  + ]
     667                 :         134 :                         continue;
     668                 :             :                     }
     669                 :             : 
     670                 :      368954 :                     OutputType type = script.second;
     671                 :             :                     // Either insert the group into the positive-only groups or the mixed ones.
     672                 :      368954 :                     filtered_groups[filter].Push(group, type, positive_only, /*insert_mixed=*/!positive_only);
     673                 :      368954 :                     accepted = true;
     674                 :             :                 }
     675         [ +  + ]:       79024 :                 if (!accepted) ret_discarded_groups.emplace_back(group);
     676                 :             :             }
     677                 :             :         }
     678                 :        4797 :     };
     679                 :             : 
     680         [ +  - ]:        1599 :     push_output_groups(spk_to_groups_map, /*positive_only=*/ false);
     681         [ +  - ]:        1599 :     push_output_groups(spk_to_positive_groups_map, /*positive_only=*/ true);
     682                 :             : 
     683                 :        1599 :     return filtered_groups;
     684                 :        1599 : }
     685                 :             : 
     686                 :        3426 : FilteredOutputGroups GroupOutputs(const CWallet& wallet,
     687                 :             :                                   const CoinsResult& coins,
     688                 :             :                                   const CoinSelectionParams& params,
     689                 :             :                                   const std::vector<SelectionFilter>& filters)
     690                 :             : {
     691                 :        3426 :     std::vector<OutputGroup> unused;
     692         [ +  - ]:        6852 :     return GroupOutputs(wallet, coins, params, filters, unused);
     693                 :        3426 : }
     694                 :             : 
     695                 :             : // Returns true if the result contains an error and the message is not empty
     696                 :       14634 : static bool HasErrorMsg(const util::Result<SelectionResult>& res) { return !util::ErrorString(res).empty(); }
     697                 :             : 
     698                 :        4246 : util::Result<SelectionResult> AttemptSelection(interfaces::Chain& chain, const CAmount& nTargetValue, OutputGroupTypeMap& groups,
     699                 :             :                                const CoinSelectionParams& coin_selection_params, bool allow_mixed_output_types)
     700                 :             : {
     701                 :             :     // Run coin selection on each OutputType and compute the Waste Metric
     702                 :        4246 :     std::vector<SelectionResult> results;
     703   [ +  -  +  + ]:       10044 :     for (auto& [type, group] : groups.groups_by_type) {
     704         [ +  - ]:        5866 :         auto result{ChooseSelectionResult(chain, nTargetValue, group, coin_selection_params)};
     705                 :             :         // If any specific error message appears here, then something particularly wrong happened.
     706   [ +  -  +  + ]:        5866 :         if (HasErrorMsg(result)) return result; // So let's return the specific error.
     707                 :             :         // Append the favorable result.
     708   [ +  +  +  - ]:        5798 :         if (result) results.push_back(*result);
     709                 :        5798 :     }
     710                 :             :     // If we have at least one solution for funding the transaction without mixing, choose the minimum one according to waste metric
     711                 :             :     // and return the result
     712   [ -  +  +  +  :        7402 :     if (results.size() > 0) return *std::min_element(results.begin(), results.end());
             +  -  +  - ]
     713                 :             : 
     714                 :             :     // If we can't fund the transaction from any individual OutputType, run coin selection one last time
     715                 :             :     // over all available coins, which would allow mixing.
     716                 :             :     // If TypesCount() <= 1, there is nothing to mix.
     717   [ +  +  +  + ]:         954 :     if (allow_mixed_output_types && groups.TypesCount() > 1) {
     718         [ +  - ]:          66 :         return ChooseSelectionResult(chain, nTargetValue, groups.all_groups, coin_selection_params);
     719                 :             :     }
     720                 :             :     // Either mixing is not allowed and we couldn't find a solution from any single OutputType, or mixing was allowed and we still couldn't
     721                 :             :     // find a solution using all available coins
     722                 :        1776 :     return util::Error();
     723                 :        4246 : };
     724                 :             : 
     725                 :        5932 : util::Result<SelectionResult> ChooseSelectionResult(interfaces::Chain& chain, const CAmount& nTargetValue, Groups& groups, const CoinSelectionParams& coin_selection_params)
     726                 :             : {
     727                 :             :     // Vector of results. We will choose the best one based on waste.
     728                 :        5932 :     std::vector<SelectionResult> results;
     729                 :        5932 :     std::vector<util::Result<SelectionResult>> errors;
     730                 :       13742 :     auto append_error = [&] (util::Result<SelectionResult>&& result) {
     731                 :             :         // If any specific error message appears here, then something different from a simple "no selection found" happened.
     732                 :             :         // Let's save it, so it can be retrieved to the user if no other selection algorithm succeeded.
     733         [ +  + ]:        7810 :         if (HasErrorMsg(result)) {
     734                 :         115 :             errors.emplace_back(std::move(result));
     735                 :             :         }
     736                 :       13742 :     };
     737                 :             : 
     738                 :             :     // Maximum allowed weight for selected coins.
     739         [ +  + ]:        5932 :     int max_transaction_weight = coin_selection_params.m_max_tx_weight.value_or(MAX_STANDARD_TX_WEIGHT);
     740                 :        5932 :     int tx_weight_no_input = coin_selection_params.tx_noinputs_size * WITNESS_SCALE_FACTOR;
     741                 :        5932 :     int max_selection_weight = max_transaction_weight - tx_weight_no_input;
     742         [ +  + ]:        5932 :     if (max_selection_weight <= 0) {
     743         [ +  - ]:          75 :         return util::Error{_("Maximum transaction weight is less than transaction weight without inputs")};
     744                 :             :     }
     745                 :             : 
     746                 :             :     // SFFO frequently causes issues in the context of changeless input sets: skip BnB when SFFO is active
     747         [ +  + ]:        5907 :     if (!coin_selection_params.m_subtract_fee_outputs) {
     748   [ +  -  +  + ]:        4463 :         if (auto bnb_result{SelectCoinsBnB(groups.positive_group, nTargetValue, coin_selection_params.m_cost_of_change, max_selection_weight)}) {
     749         [ +  - ]:         114 :             results.push_back(*bnb_result);
     750         [ +  - ]:        8812 :         } else append_error(std::move(bnb_result));
     751                 :             :     }
     752                 :             : 
     753                 :             :     // Deduct change weight because remaining Coin Selection algorithms can create change output
     754                 :        5907 :     int change_outputs_weight = coin_selection_params.change_output_size * WITNESS_SCALE_FACTOR;
     755                 :        5907 :     max_selection_weight -= change_outputs_weight;
     756   [ +  +  +  - ]:        5907 :     if (max_selection_weight < 0 && results.empty()) {
     757         [ +  - ]:          18 :         return util::Error{_("Maximum transaction weight is too low, can not accommodate change output")};
     758                 :             :     }
     759                 :             : 
     760                 :             :     // The knapsack solver has some legacy behavior where it will spend dust outputs. We retain this behavior, so don't filter for positive only here.
     761   [ +  -  +  + ]:        5901 :     if (auto knapsack_result{KnapsackSolver(groups.mixed_group, nTargetValue, coin_selection_params.m_min_change_target, coin_selection_params.rng_fast, max_selection_weight)}) {
     762         [ +  - ]:        4377 :         results.push_back(*knapsack_result);
     763         [ +  - ]:        1524 :     } else append_error(std::move(knapsack_result));
     764                 :             : 
     765   [ +  -  +  + ]:        5901 :     if (coin_selection_params.m_effective_feerate > CFeeRate{3 * coin_selection_params.m_long_term_feerate}) { // Minimize input set for feerates of at least 3×LTFRE (default: 30 ṩ/vB+)
     766   [ +  -  +  + ]:         830 :         if (auto cg_result{CoinGrinder(groups.positive_group, nTargetValue, coin_selection_params.m_min_change_target, max_selection_weight)}) {
     767         [ +  - ]:         472 :             cg_result->RecalculateWaste(coin_selection_params.min_viable_change, coin_selection_params.m_cost_of_change, coin_selection_params.m_change_fee);
     768         [ +  - ]:         472 :             results.push_back(*cg_result);
     769                 :             :         } else {
     770         [ +  - ]:         358 :             append_error(std::move(cg_result));
     771                 :         830 :         }
     772                 :             :     }
     773                 :             : 
     774   [ +  -  +  + ]:        5901 :     if (auto srd_result{SelectCoinsSRD(groups.positive_group, nTargetValue, coin_selection_params.m_change_fee, coin_selection_params.rng_fast, max_selection_weight)}) {
     775         [ +  - ]:        4322 :         results.push_back(*srd_result);
     776         [ +  - ]:        1579 :     } else append_error(std::move(srd_result));
     777                 :             : 
     778         [ +  + ]:        5901 :     if (results.empty()) {
     779                 :             :         // No solution found, retrieve the first explicit error (if any).
     780                 :             :         // future: add 'severity level' to errors so the worst one can be retrieved instead of the first one.
     781         [ +  + ]:        3011 :         return errors.empty() ? util::Error() : std::move(errors.front());
     782                 :             :     }
     783                 :             : 
     784                 :             :     // If the chosen input set has unconfirmed inputs, check for synergies from overlapping ancestry
     785         [ +  + ]:       13662 :     for (auto& result : results) {
     786                 :        9285 :         std::vector<COutPoint> outpoints;
     787   [ +  -  +  - ]:        9285 :         OutputSet coins = result.GetInputSet();
     788                 :        9285 :         CAmount summed_bump_fees = 0;
     789         [ +  + ]:      188210 :         for (auto& coin : coins) {
     790         [ +  + ]:      178925 :             if (coin->depth > 0) continue; // Bump fees only exist for unconfirmed inputs
     791         [ +  - ]:        1854 :             outpoints.push_back(coin->outpoint);
     792                 :        1854 :             summed_bump_fees += coin->ancestor_bump_fees;
     793                 :             :         }
     794         [ +  - ]:        9285 :         std::optional<CAmount> combined_bump_fee = chain.calculateCombinedBumpFee(outpoints, coin_selection_params.m_effective_feerate);
     795         [ -  + ]:        9285 :         if (!combined_bump_fee.has_value()) {
     796         [ #  # ]:           0 :             return util::Error{_("Failed to calculate bump fees, because unconfirmed UTXOs depend on an enormous cluster of unconfirmed transactions.")};
     797                 :             :         }
     798         [ +  + ]:        9285 :         CAmount bump_fee_overestimate = summed_bump_fees - combined_bump_fee.value();
     799                 :             :         // Avoid negative discount if mempool changed between the two bump fee snapshots.
     800         [ +  + ]:        9285 :         if (bump_fee_overestimate > 0) {
     801         [ +  - ]:          26 :             result.SetBumpFeeDiscount(bump_fee_overestimate);
     802                 :             :         }
     803         [ +  - ]:        9285 :         result.RecalculateWaste(coin_selection_params.min_viable_change, coin_selection_params.m_cost_of_change, coin_selection_params.m_change_fee);
     804                 :        9285 :     }
     805                 :             : 
     806                 :             :     // Choose the result with the least waste
     807                 :             :     // If the waste is the same, choose the one which spends more inputs.
     808   [ +  -  +  - ]:        8754 :     return *std::min_element(results.begin(), results.end());
     809                 :        5932 : }
     810                 :             : 
     811                 :        3760 : util::Result<SelectionResult> SelectCoins(const CWallet& wallet, CoinsResult& available_coins, const CoinsResult& pre_set_inputs,
     812                 :             :                                           const CAmount& nTargetValue, const CCoinControl& coin_control,
     813                 :             :                                           const CoinSelectionParams& coin_selection_params)
     814                 :             : {
     815                 :             :     // Deduct preset inputs amount from the search target
     816   [ +  +  +  + ]:        7520 :     CAmount selection_target = nTargetValue - pre_set_inputs.GetAppropriateTotal(coin_selection_params.m_subtract_fee_outputs).value_or(0);
     817                 :             : 
     818                 :             :     // Return if automatic coin selection is disabled, and we don't cover the selection target
     819   [ +  +  +  + ]:        3760 :     if (!coin_control.m_allow_other_inputs && selection_target > 0) {
     820                 :          26 :         return util::Error{_("The preselected coins total amount does not cover the transaction target. "
     821                 :          13 :                              "Please allow other inputs to be automatically selected or include more coins manually")};
     822                 :             :     }
     823                 :             : 
     824         [ +  - ]:        3747 :     OutputSet preset_coin_set;
     825   [ +  -  +  + ]:        9432 :     for (const auto& output: pre_set_inputs.All()) {
     826   [ +  -  +  - ]:       11370 :         preset_coin_set.insert(std::make_shared<COutput>(output));
     827                 :        3747 :     }
     828                 :             : 
     829                 :             :     // Return if we can cover the target only with the preset inputs
     830         [ +  + ]:        3747 :     if (selection_target <= 0) {
     831         [ +  - ]:         417 :         SelectionResult result(nTargetValue, SelectionAlgorithm::MANUAL);
     832         [ +  - ]:         417 :         result.AddInputs(preset_coin_set, coin_selection_params.m_subtract_fee_outputs);
     833         [ +  - ]:         417 :         result.RecalculateWaste(coin_selection_params.min_viable_change, coin_selection_params.m_cost_of_change, coin_selection_params.m_change_fee);
     834                 :         417 :         return result;
     835                 :         417 :     }
     836                 :             : 
     837                 :             :     // Return early if we cannot cover the target with the wallet's UTXO.
     838                 :             :     // We use the total effective value if we are not subtracting fee from outputs and 'available_coins' contains the data.
     839   [ +  +  +  + ]:        6660 :     CAmount available_coins_total_amount = available_coins.GetAppropriateTotal(coin_selection_params.m_subtract_fee_outputs).value_or(0);
     840         [ +  + ]:        3330 :     if (selection_target > available_coins_total_amount) {
     841                 :          54 :         return util::Error(); // Insufficient funds
     842                 :             :     }
     843                 :             : 
     844                 :             :     // Start wallet Coin Selection procedure
     845         [ +  - ]:        3303 :     auto op_selection_result = AutomaticCoinSelection(wallet, available_coins, selection_target, coin_selection_params);
     846         [ +  + ]:        3303 :     if (!op_selection_result) return op_selection_result;
     847                 :             : 
     848                 :             :     // If needed, add preset inputs to the automatic coin selection result
     849         [ +  + ]:        3288 :     if (!pre_set_inputs.coins.empty()) {
     850         [ +  + ]:          84 :         auto preset_total = pre_set_inputs.GetAppropriateTotal(coin_selection_params.m_subtract_fee_outputs);
     851         [ -  + ]:          84 :         assert(preset_total.has_value());
     852         [ +  - ]:          84 :         SelectionResult preselected(preset_total.value(), SelectionAlgorithm::MANUAL);
     853         [ +  - ]:          84 :         preselected.AddInputs(preset_coin_set, coin_selection_params.m_subtract_fee_outputs);
     854         [ +  - ]:          84 :         op_selection_result->Merge(preselected);
     855                 :          84 :         op_selection_result->RecalculateWaste(coin_selection_params.min_viable_change,
     856                 :          84 :                                                 coin_selection_params.m_cost_of_change,
     857         [ +  - ]:          84 :                                                 coin_selection_params.m_change_fee);
     858                 :             : 
     859                 :             :         // Verify we haven't exceeded the maximum allowed weight
     860         [ +  + ]:          84 :         int max_inputs_weight = coin_selection_params.m_max_tx_weight.value_or(MAX_STANDARD_TX_WEIGHT) - (coin_selection_params.tx_noinputs_size * WITNESS_SCALE_FACTOR);
     861         [ +  + ]:          84 :         if (op_selection_result->GetWeight() > max_inputs_weight) {
     862         [ +  - ]:           4 :             return util::Error{_("The combination of the pre-selected inputs and the wallet automatic inputs selection exceeds the transaction maximum weight. "
     863                 :           2 :                                  "Please try sending a smaller amount or manually consolidating your wallet's UTXOs")};
     864                 :             :         }
     865                 :          84 :     }
     866                 :        3286 :     return op_selection_result;
     867                 :        7050 : }
     868                 :             : 
     869                 :        3303 : util::Result<SelectionResult> AutomaticCoinSelection(const CWallet& wallet, CoinsResult& available_coins, const CAmount& value_to_select, const CoinSelectionParams& coin_selection_params)
     870                 :             : {
     871                 :             :     // Try to enforce a mixture of cluster limits and ancestor/descendant limits on transactions we create by limiting
     872                 :             :     // the ancestors and the maximum cluster count of any UTXO we use. We use the ancestor/descendant limits, which are
     873                 :             :     // lower than the cluster limits, to avoid exceeding any ancestor/descendant limits of legacy nodes. This filter is safe
     874                 :             :     // because a transaction's ancestor or descendant count cannot be larger than its cluster count.
     875                 :             :     // TODO: these limits can be relaxed in the future, and we can replace the ancestor filter with a cluster equivalent.
     876                 :        3303 :     unsigned int limit_ancestor_count = 0;
     877                 :        3303 :     unsigned int limit_descendant_count = 0;
     878                 :        3303 :     wallet.chain().getPackageLimits(limit_ancestor_count, limit_descendant_count);
     879         [ -  + ]:        3303 :     const size_t max_ancestors = (size_t)std::max<int64_t>(1, limit_ancestor_count);
     880         [ -  + ]:        3303 :     const size_t max_cluster_count = (size_t)std::max<int64_t>(1, limit_descendant_count);
     881         [ +  - ]:        3303 :     const bool fRejectLongChains = gArgs.GetBoolArg("-walletrejectlongchains", DEFAULT_WALLET_REJECT_LONG_CHAINS);
     882                 :             : 
     883                 :             :     // Cases where we have 101+ outputs all pointing to the same destination may result in
     884                 :             :     // privacy leaks as they will potentially be deterministically sorted. We solve that by
     885                 :             :     // explicitly shuffling the outputs before processing
     886   [ +  +  +  + ]:        3303 :     if (coin_selection_params.m_avoid_partial_spends && available_coins.Size() > OUTPUT_GROUP_MAX_ENTRIES) {
     887                 :          21 :         available_coins.Shuffle(coin_selection_params.rng_fast);
     888                 :             :     }
     889                 :             : 
     890                 :             :     // Coin Selection attempts to select inputs from a pool of eligible UTXOs to fund the
     891                 :             :     // transaction at a target feerate. If an attempt fails, more attempts may be made using a more
     892                 :             :     // permissive CoinEligibilityFilter.
     893                 :        3303 :     {
     894                 :             :         // Place coins eligibility filters on a scope increasing order.
     895                 :        3303 :         std::vector<SelectionFilter> ordered_filters{
     896                 :             :                 // If possible, fund the transaction with confirmed UTXOs only. Prefer at least six
     897                 :             :                 // confirmations on outputs received from other wallets and only spend confirmed change.
     898                 :             :                 {CoinEligibilityFilter(1, 6, 0), /*allow_mixed_output_types=*/false},
     899                 :             :                 {CoinEligibilityFilter(1, 1, 0)},
     900                 :        3303 :         };
     901                 :             :         // Fall back to using zero confirmation change (but with as few ancestors in the mempool as
     902                 :             :         // possible) if we cannot fund the transaction otherwise.
     903         [ +  + ]:        3303 :         if (wallet.m_spend_zero_conf_change) {
     904         [ +  - ]:        3301 :             ordered_filters.push_back({CoinEligibilityFilter(0, 1, 2)});
     905   [ +  -  +  +  :        9877 :             ordered_filters.push_back({CoinEligibilityFilter(0, 1, std::min(size_t{4}, max_ancestors/3), std::min(size_t{4}, max_cluster_count/3))});
                   +  - ]
     906         [ +  - ]:        3301 :             ordered_filters.push_back({CoinEligibilityFilter(0, 1, max_ancestors/2, max_cluster_count/2)});
     907                 :             :             // If partial groups are allowed, relax the requirement of spending OutputGroups (groups
     908                 :             :             // of UTXOs sent to the same address, which are obviously controlled by a single wallet)
     909                 :             :             // in their entirety.
     910         [ +  - ]:        3301 :             ordered_filters.push_back({CoinEligibilityFilter(0, 1, max_ancestors-1, max_cluster_count-1, /*include_partial=*/true)});
     911                 :             :             // Try with unsafe inputs if they are allowed. This may spend unconfirmed outputs
     912                 :             :             // received from other wallets.
     913         [ +  + ]:        3301 :             if (coin_selection_params.m_include_unsafe_inputs) {
     914         [ +  - ]:          67 :                 ordered_filters.push_back({CoinEligibilityFilter(/*conf_mine=*/0, /*conf_theirs=*/0, max_ancestors-1, max_cluster_count-1, /*include_partial=*/true)});
     915                 :             :             }
     916                 :             :             // Try with unlimited ancestors/clusters. The transaction will still need to meet
     917                 :             :             // local mempool policy (i.e. cluster limits) to be accepted to mempool and broadcasted, and
     918                 :             :             // limits of other nodes (e.g. ancestor/descendant limits) to propagate, but OutputGroups
     919                 :             :             // use heuristics that may overestimate.
     920         [ +  + ]:        3301 :             if (!fRejectLongChains) {
     921         [ +  - ]:          60 :                 ordered_filters.push_back({CoinEligibilityFilter(0, 1, std::numeric_limits<uint64_t>::max(),
     922                 :             :                                                                    std::numeric_limits<uint64_t>::max(),
     923                 :             :                                                                    /*include_partial=*/true)});
     924                 :             :             }
     925                 :             :         }
     926                 :             : 
     927                 :             :         // Group outputs and map them by coin eligibility filter
     928                 :        3303 :         std::vector<OutputGroup> discarded_groups;
     929         [ +  - ]:        3303 :         FilteredOutputGroups filtered_groups = GroupOutputs(wallet, available_coins, coin_selection_params, ordered_filters, discarded_groups);
     930                 :             : 
     931                 :             :         // Check if we still have enough balance after applying filters (some coins might be discarded)
     932                 :        3303 :         CAmount total_discarded = 0;
     933                 :        3303 :         CAmount total_unconf_long_chain = 0;
     934         [ +  + ]:        3333 :         for (const auto& group : discarded_groups) {
     935         [ +  - ]:          30 :             total_discarded += group.GetSelectionAmount();
     936   [ +  +  +  +  :          30 :             if (group.m_ancestors >= max_ancestors || group.m_max_cluster_count >= max_cluster_count) total_unconf_long_chain += group.GetSelectionAmount();
                   +  - ]
     937                 :             :         }
     938                 :             : 
     939         [ +  + ]:        3303 :         if (CAmount total_amount = available_coins.GetTotalAmount() - total_discarded; total_amount < value_to_select) {
     940                 :             :             // Special case, too-long-mempool cluster.
     941         [ +  + ]:           2 :             if (total_amount + total_unconf_long_chain > value_to_select) {
     942         [ +  - ]:           3 :                 return util::Error{_("Unconfirmed UTXOs are available, but spending them creates a chain of transactions that will be rejected by the mempool")};
     943                 :             :             }
     944                 :           2 :             return util::Error{}; // General "Insufficient Funds"
     945                 :             :         }
     946                 :             : 
     947                 :             :         // Walk-through the filters until the solution gets found.
     948                 :             :         // If no solution is found, return the first detailed error (if any).
     949                 :             :         // future: add "error level" so the worst one can be picked instead.
     950                 :        3301 :         std::vector<util::Result<SelectionResult>> res_detailed_errors;
     951                 :        3301 :         CoinSelectionParams updated_selection_params = coin_selection_params;
     952         [ +  + ]:        5591 :         for (const auto& select_filter : ordered_filters) {
     953                 :        5578 :             auto it = filtered_groups.find(select_filter.filter);
     954         [ +  + ]:        5578 :             if (it == filtered_groups.end()) continue;
     955   [ +  +  +  +  :        4246 :             if (updated_selection_params.m_version == TRUC_VERSION && (select_filter.filter.conf_mine == 0 || select_filter.filter.conf_theirs == 0)) {
                   -  + ]
     956         [ +  - ]:          16 :                 if (updated_selection_params.m_max_tx_weight > (TRUC_CHILD_MAX_WEIGHT)) {
     957                 :           7 :                     updated_selection_params.m_max_tx_weight = TRUC_CHILD_MAX_WEIGHT;
     958                 :             :                 }
     959                 :             :             }
     960                 :        8492 :             if (auto res{AttemptSelection(wallet.chain(), value_to_select, it->second,
     961   [ +  -  +  + ]:        4246 :                                           updated_selection_params, select_filter.allow_mixed_output_types)}) {
     962                 :        3288 :                 return res; // result found
     963                 :             :             } else {
     964                 :             :                 // If any specific error message appears here, then something particularly wrong might have happened.
     965                 :             :                 // Save the error and continue the selection process. So if no solutions gets found, we can return
     966                 :             :                 // the detailed error to the upper layers.
     967   [ +  -  +  +  :         958 :                 if (HasErrorMsg(res)) res_detailed_errors.emplace_back(std::move(res));
                   +  - ]
     968                 :        4246 :             }
     969                 :             :         }
     970                 :             : 
     971                 :             :         // Return right away if we have a detailed error
     972         [ +  - ]:          13 :         if (!res_detailed_errors.empty()) return std::move(res_detailed_errors.front());
     973                 :             : 
     974                 :             : 
     975                 :             :         // General "Insufficient Funds"
     976                 :           0 :         return util::Error{};
     977                 :        6604 :     }
     978                 :             : }
     979                 :             : 
     980                 :        2972 : static bool IsCurrentForAntiFeeSniping(interfaces::Chain& chain, const uint256& block_hash)
     981                 :             : {
     982         [ +  - ]:        2972 :     if (chain.isInitialBlockDownload()) {
     983                 :             :         return false;
     984                 :             :     }
     985                 :        2972 :     constexpr int64_t MAX_ANTI_FEE_SNIPING_TIP_AGE = 8 * 60 * 60; // in seconds
     986                 :        2972 :     int64_t block_time;
     987                 :        2972 :     CHECK_NONFATAL(chain.findBlock(block_hash, FoundBlock().time(block_time)));
     988         [ +  + ]:        2972 :     if (block_time < (GetTime() - MAX_ANTI_FEE_SNIPING_TIP_AGE)) {
     989                 :          10 :         return false;
     990                 :             :     }
     991                 :             :     return true;
     992                 :             : }
     993                 :             : 
     994                 :        2972 : void DiscourageFeeSniping(CMutableTransaction& tx, FastRandomContext& rng_fast,
     995                 :             :                                  interfaces::Chain& chain, const uint256& block_hash, int block_height)
     996                 :             : {
     997                 :             :     // All inputs must be added by now
     998         [ -  + ]:        2972 :     assert(!tx.vin.empty());
     999                 :             :     // Discourage fee sniping.
    1000                 :             :     //
    1001                 :             :     // For a large miner the value of the transactions in the best block and
    1002                 :             :     // the mempool can exceed the cost of deliberately attempting to mine two
    1003                 :             :     // blocks to orphan the current best block. By setting nLockTime such that
    1004                 :             :     // only the next block can include the transaction, we discourage this
    1005                 :             :     // practice as the height restricted and limited blocksize gives miners
    1006                 :             :     // considering fee sniping fewer options for pulling off this attack.
    1007                 :             :     //
    1008                 :             :     // A simple way to think about this is from the wallet's point of view we
    1009                 :             :     // always want the blockchain to move forward. By setting nLockTime this
    1010                 :             :     // way we're basically making the statement that we only want this
    1011                 :             :     // transaction to appear in the next block; we don't want to potentially
    1012                 :             :     // encourage reorgs by allowing transactions to appear at lower heights
    1013                 :             :     // than the next block in forks of the best chain.
    1014                 :             :     //
    1015                 :             :     // Of course, the subsidy is high enough, and transaction volume low
    1016                 :             :     // enough, that fee sniping isn't a problem yet, but by implementing a fix
    1017                 :             :     // now we ensure code won't be written that makes assumptions about
    1018                 :             :     // nLockTime that preclude a fix later.
    1019         [ +  + ]:        2972 :     if (IsCurrentForAntiFeeSniping(chain, block_hash)) {
    1020                 :        2962 :         tx.nLockTime = block_height;
    1021                 :             : 
    1022                 :             :         // Secondly occasionally randomly pick a nLockTime even further back, so
    1023                 :             :         // that transactions that are delayed after signing for whatever reason,
    1024                 :             :         // e.g. high-latency mix networks and some CoinJoin implementations, have
    1025                 :             :         // better privacy.
    1026         [ +  + ]:        2962 :         if (rng_fast.randrange(10) == 0) {
    1027         [ -  + ]:         270 :             tx.nLockTime = std::max(0, int(tx.nLockTime) - int(rng_fast.randrange(100)));
    1028                 :             :         }
    1029                 :             :     } else {
    1030                 :             :         // If our chain is lagging behind, we can't discourage fee sniping nor help
    1031                 :             :         // the privacy of high-latency transactions. To avoid leaking a potentially
    1032                 :             :         // unique "nLockTime fingerprint", set nLockTime to a constant.
    1033                 :          10 :         tx.nLockTime = 0;
    1034                 :             :     }
    1035                 :             :     // Sanity check all values
    1036         [ -  + ]:        2972 :     assert(tx.nLockTime < LOCKTIME_THRESHOLD); // Type must be block height
    1037         [ -  + ]:        2972 :     assert(tx.nLockTime <= uint64_t(block_height));
    1038         [ +  + ]:       13528 :     for (const auto& in : tx.vin) {
    1039                 :             :         // Can not be FINAL for locktime to work
    1040         [ -  + ]:       10556 :         assert(in.nSequence != CTxIn::SEQUENCE_FINAL);
    1041                 :             :         // May be MAX NONFINAL to disable both BIP68 and BIP125
    1042         [ +  + ]:       10556 :         if (in.nSequence == CTxIn::MAX_SEQUENCE_NONFINAL) continue;
    1043                 :             :         // May be MAX BIP125 to disable BIP68 and enable BIP125
    1044         [ +  - ]:       10551 :         if (in.nSequence == MAX_BIP125_RBF_SEQUENCE) continue;
    1045                 :             :         // The wallet does not support any other sequence-use right now.
    1046                 :           0 :         assert(false);
    1047                 :             :     }
    1048                 :        2972 : }
    1049                 :             : 
    1050                 :       39446 : uint64_t GetSerializeSizeForRecipient(const CRecipient& recipient)
    1051                 :             : {
    1052         [ +  - ]:       39446 :     return ::GetSerializeSize(CTxOut(recipient.nAmount, GetScriptForDestination(recipient.dest)));
    1053                 :             : }
    1054                 :             : 
    1055                 :       39446 : bool IsDust(const CRecipient& recipient, const CFeeRate& dustRelayFee)
    1056                 :             : {
    1057   [ +  -  +  - ]:       39446 :     return ::IsDust(CTxOut(recipient.nAmount, GetScriptForDestination(recipient.dest)), dustRelayFee);
    1058                 :             : }
    1059                 :             : 
    1060                 :        3690 : static util::Result<CreatedTransactionResult> CreateTransactionInternal(
    1061                 :             :         CWallet& wallet,
    1062                 :             :         const std::vector<CRecipient>& vecSend,
    1063                 :             :         std::optional<unsigned int> change_pos,
    1064                 :             :         const CCoinControl& coin_control,
    1065                 :             :         bool sign) EXCLUSIVE_LOCKS_REQUIRED(wallet.cs_wallet)
    1066                 :             : {
    1067                 :        3690 :     AssertLockHeld(wallet.cs_wallet);
    1068                 :             : 
    1069                 :        3690 :     FastRandomContext rng_fast;
    1070         [ +  - ]:        3690 :     CMutableTransaction txNew; // The resulting transaction that we make
    1071                 :             : 
    1072                 :        3690 :     txNew.version = coin_control.m_version;
    1073                 :             : 
    1074                 :        3690 :     CoinSelectionParams coin_selection_params{rng_fast}; // Parameters for coin selection, init with dummy
    1075                 :        3690 :     coin_selection_params.m_avoid_partial_spends = coin_control.m_avoid_partial_spends;
    1076                 :        3690 :     coin_selection_params.m_include_unsafe_inputs = coin_control.m_include_unsafe_inputs;
    1077   [ +  +  +  - ]:        3758 :     coin_selection_params.m_max_tx_weight = coin_control.m_max_tx_weight.value_or(MAX_STANDARD_TX_WEIGHT);
    1078                 :        3690 :     coin_selection_params.m_version = coin_control.m_version;
    1079                 :        3690 :     int minimum_tx_weight = MIN_STANDARD_TX_NONWITNESS_SIZE * WITNESS_SCALE_FACTOR;
    1080   [ +  -  +  +  :        3690 :     if (coin_selection_params.m_max_tx_weight.value() < minimum_tx_weight || coin_selection_params.m_max_tx_weight.value() > MAX_STANDARD_TX_WEIGHT) {
                   +  + ]
    1081         [ +  - ]:           9 :         return util::Error{strprintf(_("Maximum transaction weight must be between %d and %d"), minimum_tx_weight, MAX_STANDARD_TX_WEIGHT)};
    1082                 :             :     }
    1083                 :             :     // Set the long term feerate estimate to the wallet's consolidate feerate
    1084                 :        3687 :     coin_selection_params.m_long_term_feerate = wallet.m_consolidate_feerate;
    1085                 :             :     // Static vsize overhead + outputs vsize. 4 nVersion, 4 nLocktime, 1 input count, 1 witness overhead (dummy, flag, stack size)
    1086   [ -  +  +  + ]:        3687 :     coin_selection_params.tx_noinputs_size = 10 + GetSizeOfCompactSize(vecSend.size()); // bytes for output count
    1087                 :             : 
    1088                 :        3687 :     CAmount recipients_sum = 0;
    1089   [ +  +  +  - ]:        3687 :     const OutputType change_type = wallet.TransactionChangeType(coin_control.m_change_type ? *coin_control.m_change_type : wallet.m_default_change_type, vecSend);
    1090                 :        3687 :     ReserveDestination reservedest(&wallet, change_type);
    1091                 :        3687 :     unsigned int outputs_to_subtract_fee_from = 0; // The number of outputs which we are subtracting the fee from
    1092         [ +  + ]:       43133 :     for (const auto& recipient : vecSend) {
    1093   [ +  -  +  -  :       39446 :         if (IsDust(recipient, wallet.chain().relayDustFee())) {
                   -  + ]
    1094         [ #  # ]:           0 :             return util::Error{_("Transaction amount too small")};
    1095                 :             :         }
    1096                 :             : 
    1097                 :             :         // Include the fee cost for outputs.
    1098         [ +  - ]:       39446 :         coin_selection_params.tx_noinputs_size += GetSerializeSizeForRecipient(recipient);
    1099                 :       39446 :         recipients_sum += recipient.nAmount;
    1100                 :             : 
    1101         [ +  + ]:       39446 :         if (recipient.fSubtractFeeFromAmount) {
    1102                 :         646 :             outputs_to_subtract_fee_from++;
    1103                 :         646 :             coin_selection_params.m_subtract_fee_outputs = true;
    1104                 :             :         }
    1105                 :             :     }
    1106                 :             : 
    1107                 :             :     // Create change script that will be used if we need change
    1108                 :        3687 :     CScript scriptChange;
    1109         [ +  - ]:        3687 :     bilingual_str error; // possible error str
    1110                 :             : 
    1111                 :             :     // coin control: send change to custom address
    1112         [ +  - ]:        3687 :     if (!std::get_if<CNoDestination>(&coin_control.destChange)) {
    1113         [ +  - ]:        3664 :         scriptChange = GetScriptForDestination(coin_control.destChange);
    1114                 :             :     } else { // no coin control: send change to newly generated address
    1115                 :             :         // Note: We use a new key here to keep it from being obvious which side is the change.
    1116                 :             :         //  The drawback is that by not reusing a previous key, the change may be lost if a
    1117                 :             :         //  backup is restored, if the backup doesn't have the new private key for the change.
    1118                 :             :         //  If we reused the old key, it would be possible to add code to look for and
    1119                 :             :         //  rediscover unknown transactions that were written with keys of ours to recover
    1120                 :             :         //  post-backup change.
    1121                 :             : 
    1122                 :             :         // Reserve a new key pair from key pool. If it fails, provide a dummy
    1123                 :             :         // destination in case we don't need change.
    1124                 :        1855 :         CTxDestination dest;
    1125         [ +  - ]:        1855 :         auto op_dest = reservedest.GetReservedDestination(true);
    1126         [ +  + ]:        1855 :         if (!op_dest) {
    1127   [ +  -  +  -  :          90 :             error = _("Transaction needs a change address, but we can't generate it.") + Untranslated(" ") + util::ErrorString(op_dest);
             +  -  +  - ]
    1128                 :             :         } else {
    1129         [ +  - ]:        1840 :             dest = *op_dest;
    1130         [ +  - ]:        3680 :             scriptChange = GetScriptForDestination(dest);
    1131                 :             :         }
    1132                 :             :         // A valid destination implies a change script (and
    1133                 :             :         // vice-versa). An empty change script will abort later, if the
    1134                 :             :         // change keypool ran out, but change is required.
    1135   [ +  -  -  +  :        1855 :         CHECK_NONFATAL(IsValidDestination(dest) != scriptChange.empty());
                   +  - ]
    1136                 :        1855 :     }
    1137         [ +  - ]:        3687 :     CTxOut change_prototype_txout(0, scriptChange);
    1138                 :        3687 :     coin_selection_params.change_output_size = GetSerializeSize(change_prototype_txout);
    1139                 :             : 
    1140                 :             :     // Get size of spending the change output
    1141         [ +  - ]:        3687 :     int change_spend_size = CalculateMaximumSignedInputSize(change_prototype_txout, &wallet, /*coin_control=*/nullptr);
    1142                 :             :     // If the wallet doesn't know how to sign change output, assume p2sh-p2wpkh
    1143                 :             :     // as lower-bound to allow BnB to do its thing
    1144         [ +  + ]:        3687 :     if (change_spend_size == -1) {
    1145                 :          25 :         coin_selection_params.change_spend_size = DUMMY_NESTED_P2WPKH_INPUT_SIZE;
    1146                 :             :     } else {
    1147                 :        3662 :         coin_selection_params.change_spend_size = change_spend_size;
    1148                 :             :     }
    1149                 :             : 
    1150                 :             :     // Set discard feerate
    1151         [ +  - ]:        3687 :     coin_selection_params.m_discard_feerate = GetDiscardRate(wallet);
    1152                 :             : 
    1153                 :             :     // Get the fee rate to use effective values in coin selection
    1154                 :        3687 :     FeeCalculation feeCalc;
    1155         [ +  - ]:        3687 :     coin_selection_params.m_effective_feerate = GetMinimumFeeRate(wallet, coin_control, &feeCalc);
    1156                 :             :     // Do not, ever, assume that it's fine to change the fee rate if the user has explicitly
    1157                 :             :     // provided one
    1158   [ +  +  +  + ]:        3687 :     if (coin_control.m_feerate && coin_selection_params.m_effective_feerate > *coin_control.m_feerate) {
    1159                 :          21 :         const auto feerate_format = FeeRateFormat::SAT_VB;
    1160                 :          21 :         auto msg{strprintf(_("Fee rate (%s) is lower than the minimum fee rate setting (%s)."),
    1161         [ +  - ]:          42 :             coin_control.m_feerate->ToString(feerate_format),
    1162   [ +  -  +  - ]:          42 :             coin_selection_params.m_effective_feerate.ToString(feerate_format))};
    1163         [ +  - ]:          21 :         if (feeCalc.reason == FeeReason::REQUIRED) {
    1164         [ +  - ]:          42 :             msg += strprintf(_("\nConsider modifying %s (%s) or %s (%s)."),
    1165                 :             :                 "-mintxfee",
    1166         [ +  - ]:          42 :                 wallet.m_min_fee.ToString(feerate_format),
    1167                 :             :                 "-minrelaytxfee",
    1168   [ +  -  +  -  :          63 :                 wallet.chain().relayMinFee().ToString(feerate_format));
                   +  - ]
    1169                 :             :         }
    1170         [ +  - ]:          63 :         return util::Error{msg};
    1171                 :          21 :     }
    1172   [ +  +  +  + ]:        3666 :     if (feeCalc.reason == FeeReason::FALLBACK && !wallet.m_allow_fallback_fee) {
    1173                 :             :         // eventually allow a fallback fee
    1174         [ +  - ]:          18 :         return util::Error{strprintf(_("Fee estimation failed. Fallbackfee is disabled. Wait a few blocks or enable %s."), "-fallbackfee")};
    1175                 :             :     }
    1176                 :             : 
    1177                 :             :     // Calculate the cost of change
    1178                 :             :     // Cost of change is the cost of creating the change output + cost of spending the change output in the future.
    1179                 :             :     // For creating the change output now, we use the effective feerate.
    1180                 :             :     // For spending the change output in the future, we use the discard feerate for now.
    1181                 :             :     // So cost of change = (change output size * effective feerate) + (size of spending change output * discard feerate)
    1182         [ +  - ]:        3660 :     coin_selection_params.m_change_fee = coin_selection_params.m_effective_feerate.GetFee(coin_selection_params.change_output_size);
    1183         [ +  - ]:        3660 :     coin_selection_params.m_cost_of_change = coin_selection_params.m_discard_feerate.GetFee(coin_selection_params.change_spend_size) + coin_selection_params.m_change_fee;
    1184                 :             : 
    1185   [ -  +  +  - ]:        3660 :     coin_selection_params.m_min_change_target = GenerateChangeTarget(std::floor(recipients_sum / vecSend.size()), coin_selection_params.m_change_fee, rng_fast);
    1186                 :             : 
    1187                 :             :     // The smallest change amount should be:
    1188                 :             :     // 1. at least equal to dust threshold
    1189                 :             :     // 2. at least 1 sat greater than fees to spend it at m_discard_feerate
    1190         [ +  - ]:        3660 :     const auto dust = GetDustThreshold(change_prototype_txout, coin_selection_params.m_discard_feerate);
    1191         [ +  - ]:        3660 :     const auto change_spend_fee = coin_selection_params.m_discard_feerate.GetFee(coin_selection_params.change_spend_size);
    1192         [ +  + ]:        3660 :     coin_selection_params.min_viable_change = std::max(change_spend_fee + 1, dust);
    1193                 :             : 
    1194                 :             :     // Include the fees for things that aren't inputs, excluding the change output
    1195   [ +  +  +  - ]:        3660 :     const CAmount not_input_fees = coin_selection_params.m_effective_feerate.GetFee(coin_selection_params.m_subtract_fee_outputs ? 0 : coin_selection_params.tx_noinputs_size);
    1196                 :        3660 :     CAmount selection_target = recipients_sum + not_input_fees;
    1197                 :             : 
    1198                 :             :     // This can only happen if feerate is 0, and requested destinations are value of 0 (e.g. OP_RETURN)
    1199                 :             :     // and no pre-selected inputs. This will result in 0-input transaction, which is consensus-invalid anyways
    1200   [ +  +  +  -  :        3660 :     if (selection_target == 0 && !coin_control.HasSelected()) {
                   -  + ]
    1201         [ +  - ]:           3 :         return util::Error{_("Transaction requires one destination of non-zero value, a non-zero feerate, or a pre-selected input")};
    1202                 :             :     }
    1203                 :             : 
    1204                 :             :     // Fetch manually selected coins
    1205         [ +  - ]:        3659 :     CoinsResult preset_inputs;
    1206   [ +  -  +  + ]:        3659 :     if (coin_control.HasSelected()) {
    1207         [ +  - ]:         523 :         auto res_fetch_inputs = FetchSelectedInputs(wallet, coin_control, coin_selection_params);
    1208   [ +  +  +  - ]:         535 :         if (!res_fetch_inputs) return util::Error{util::ErrorString(res_fetch_inputs)};
    1209         [ +  - ]:         517 :         preset_inputs = *res_fetch_inputs;
    1210                 :         523 :     }
    1211                 :             : 
    1212                 :             :     // Fetch wallet available coins if "other inputs" are
    1213                 :             :     // allowed (coins automatically selected by the wallet)
    1214         [ +  + ]:        3653 :     CoinsResult available_coins;
    1215         [ +  + ]:        3653 :     if (coin_control.m_allow_other_inputs) {
    1216         [ +  - ]:        7008 :         available_coins = AvailableCoins(wallet, &coin_control, coin_selection_params.m_effective_feerate);
    1217                 :             :     }
    1218                 :             : 
    1219                 :             :     // Choose coins to use
    1220         [ +  - ]:        3653 :     auto select_coins_res = SelectCoins(wallet, available_coins, preset_inputs, /*nTargetValue=*/selection_target, coin_control, coin_selection_params);
    1221         [ +  + ]:        3653 :     if (!select_coins_res) {
    1222                 :             :         // 'SelectCoins' either returns a specific error message or, if empty, means a general "Insufficient funds".
    1223         [ +  - ]:          55 :         const bilingual_str& err = util::ErrorString(select_coins_res);
    1224   [ +  +  +  - ]:         109 :         if (!err.empty()) return util::Error{err};
    1225                 :             : 
    1226                 :             :         // Check if we have enough balance but cannot cover the fees
    1227         [ +  + ]:          28 :         CAmount available_balance = preset_inputs.GetTotalAmount() + available_coins.GetTotalAmount();
    1228                 :             :         // Note: if SelectCoins() fails when SFFO is enabled (recipients_sum = selection_target with SFFO),
    1229                 :             :         // then recipients_sum > available_balance and we wouldn't enter into the if condition below.
    1230         [ +  + ]:          28 :         if (available_balance >= recipients_sum) {
    1231                 :             :             // If we have coins with balance, they should have effective values since we constructed them with valid feerate.
    1232   [ +  -  +  +  :           5 :             assert(!preset_inputs.Size() || preset_inputs.GetEffectiveTotalAmount().has_value());
                   -  + ]
    1233   [ +  -  +  +  :           5 :             assert(!available_coins.Size() || available_coins.GetEffectiveTotalAmount().has_value());
                   -  + ]
    1234   [ +  +  +  + ]:           7 :             CAmount available_effective_balance = preset_inputs.GetEffectiveTotalAmount().value_or(0) + available_coins.GetEffectiveTotalAmount().value_or(0);
    1235         [ +  + ]:           5 :             if (available_effective_balance < selection_target) {
    1236         [ +  - ]:           4 :                 Assume(!coin_selection_params.m_subtract_fee_outputs);
    1237   [ +  -  +  - ]:          12 :                 return util::Error{strprintf(_("The total exceeds your balance when the %s transaction fee is included."), FormatMoney(selection_target - recipients_sum))};
    1238                 :             :             }
    1239                 :             :         }
    1240                 :             : 
    1241                 :             :         // General failure description
    1242         [ +  - ]:          72 :         return util::Error{_("Insufficient funds")};
    1243                 :          55 :     }
    1244                 :        3598 :     const SelectionResult& result = *select_coins_res;
    1245                 :             :     TRACEPOINT(coin_selection, selected_coins,
    1246                 :             :            wallet.GetName().c_str(),
    1247                 :             :            GetAlgorithmName(result.GetAlgo()).c_str(),
    1248                 :             :            result.GetTarget(),
    1249                 :             :            result.GetWaste(),
    1250                 :        3598 :            result.GetSelectedValue());
    1251                 :             : 
    1252                 :             :     // vouts to the payees
    1253   [ -  +  +  - ]:        3598 :     txNew.vout.reserve(vecSend.size() + 1); // + 1 because of possible later insert
    1254         [ +  + ]:       42950 :     for (const auto& recipient : vecSend)
    1255                 :             :     {
    1256   [ +  -  +  - ]:       78704 :         txNew.vout.emplace_back(recipient.nAmount, GetScriptForDestination(recipient.dest));
    1257                 :             :     }
    1258         [ +  - ]:        3598 :     const CAmount change_amount = result.GetChange(coin_selection_params.min_viable_change, coin_selection_params.m_change_fee);
    1259         [ +  + ]:        3598 :     if (change_amount > 0) {
    1260         [ +  - ]:        3522 :         CTxOut newTxOut(change_amount, scriptChange);
    1261         [ +  + ]:        3522 :         if (!change_pos) {
    1262                 :             :             // Insert change txn at random position:
    1263         [ -  + ]:        3408 :             change_pos = rng_fast.randrange(txNew.vout.size() + 1);
    1264   [ -  +  -  + ]:         114 :         } else if ((unsigned int)*change_pos > txNew.vout.size()) {
    1265         [ #  # ]:           0 :             return util::Error{_("Transaction change output index out of range")};
    1266                 :             :         }
    1267         [ +  - ]:        3522 :         txNew.vout.insert(txNew.vout.begin() + *change_pos, newTxOut);
    1268                 :        3522 :     } else {
    1269         [ +  + ]:          76 :         change_pos = std::nullopt;
    1270                 :             :     }
    1271                 :             : 
    1272                 :             :     // Shuffle selected coins and fill in final vin
    1273         [ +  - ]:        3598 :     std::vector<std::shared_ptr<COutput>> selected_coins = result.GetShuffledInputVector();
    1274                 :             : 
    1275   [ +  -  +  +  :        3598 :     if (coin_control.HasSelected() && coin_control.HasSelectedOrder()) {
                   +  + ]
    1276                 :             :         // When there are preselected inputs, we need to move them to be the first UTXOs
    1277                 :             :         // and have them be in the order selected. We can use stable_sort for this, where we
    1278                 :             :         // compare with the positions stored in coin_control. The COutputs that have positions
    1279                 :             :         // will be placed before those that don't, and those positions will be in order.
    1280         [ +  - ]:         496 :         std::stable_sort(selected_coins.begin(), selected_coins.end(),
    1281                 :       15243 :             [&coin_control](const std::shared_ptr<COutput>& a, const std::shared_ptr<COutput>& b) {
    1282                 :       15243 :                 auto a_pos = coin_control.GetSelectionPos(a->outpoint);
    1283                 :       15243 :                 auto b_pos = coin_control.GetSelectionPos(b->outpoint);
    1284   [ +  +  +  + ]:       15243 :                 if (a_pos.has_value() && b_pos.has_value()) {
    1285                 :       14703 :                     return a_pos.value() < b_pos.value();
    1286   [ +  +  +  - ]:         540 :                 } else if (a_pos.has_value() && !b_pos.has_value()) {
    1287                 :         100 :                     return true;
    1288                 :             :                 } else {
    1289                 :             :                     return false;
    1290                 :             :                 }
    1291                 :             :             });
    1292                 :             :     }
    1293                 :             : 
    1294                 :             :     // The sequence number is set to non-maxint so that DiscourageFeeSniping
    1295                 :             :     // works.
    1296                 :             :     //
    1297                 :             :     // BIP125 defines opt-in RBF as any nSequence < maxint-1, so
    1298                 :             :     // we use the highest possible value in that range (maxint-2)
    1299                 :             :     // to avoid conflicting with other possible uses of nSequence,
    1300                 :             :     // and in the spirit of "smallest possible change from prior
    1301                 :             :     // behavior."
    1302                 :        3598 :     bool use_anti_fee_sniping = true;
    1303   [ +  +  +  + ]:        7196 :     const uint32_t default_sequence{coin_control.m_signal_bip125_rbf.value_or(wallet.m_signal_rbf) ? MAX_BIP125_RBF_SEQUENCE : CTxIn::MAX_SEQUENCE_NONFINAL};
    1304   [ -  +  +  - ]:        3598 :     txNew.vin.reserve(selected_coins.size());
    1305         [ +  + ]:       18250 :     for (const auto& coin : selected_coins) {
    1306         [ +  - ]:       14652 :         std::optional<uint32_t> sequence = coin_control.GetSequence(coin->outpoint);
    1307         [ +  + ]:       14652 :         if (sequence) {
    1308                 :             :             // If an input has a preset sequence, we can't do anti-fee-sniping
    1309                 :        1821 :             use_anti_fee_sniping = false;
    1310                 :             :         }
    1311   [ +  +  +  - ]:       16473 :         txNew.vin.emplace_back(coin->outpoint, CScript{}, sequence.value_or(default_sequence));
    1312                 :             : 
    1313         [ +  - ]:       14652 :         auto scripts = coin_control.GetScripts(coin->outpoint);
    1314         [ +  + ]:       14652 :         if (scripts.first) {
    1315                 :        1821 :             txNew.vin.back().scriptSig = *scripts.first;
    1316                 :             :         }
    1317         [ +  + ]:       14652 :         if (scripts.second) {
    1318         [ +  - ]:       14652 :             txNew.vin.back().scriptWitness = *scripts.second;
    1319                 :             :         }
    1320                 :       14652 :     }
    1321         [ +  + ]:        3598 :     if (coin_control.m_locktime) {
    1322                 :         867 :         txNew.nLockTime = coin_control.m_locktime.value();
    1323                 :             :         // If we have a locktime set, we can't use anti-fee-sniping
    1324                 :         867 :         use_anti_fee_sniping = false;
    1325                 :             :     }
    1326         [ +  - ]:        3598 :     if (use_anti_fee_sniping) {
    1327         [ +  - ]:        2731 :         DiscourageFeeSniping(txNew, rng_fast, wallet.chain(), wallet.GetLastBlockHash(), wallet.GetLastBlockHeight());
    1328                 :             :     }
    1329                 :             : 
    1330                 :             :     // Calculate the transaction fee
    1331   [ +  -  +  - ]:        3598 :     TxSize tx_sizes = CalculateMaximumSignedTxSize(CTransaction(txNew), &wallet, &coin_control);
    1332                 :        3598 :     int nBytes = tx_sizes.vsize;
    1333         [ +  + ]:        3598 :     if (nBytes == -1) {
    1334         [ +  - ]:           3 :         return util::Error{_("Missing solving data for estimating transaction size")};
    1335                 :             :     }
    1336   [ +  -  +  - ]:        3597 :     CAmount fee_needed = coin_selection_params.m_effective_feerate.GetFee(nBytes) + result.GetTotalBumpFees();
    1337                 :        3597 :     const CAmount output_value = CalculateOutputValue(txNew);
    1338         [ +  - ]:        3597 :     Assume(recipients_sum + change_amount == output_value);
    1339         [ +  - ]:        3597 :     CAmount current_fee = result.GetSelectedValue() - output_value;
    1340                 :             : 
    1341                 :             :     // Sanity check that the fee cannot be negative as that means we have more output value than input value
    1342         [ -  + ]:        3597 :     if (current_fee < 0) {
    1343   [ #  #  #  # ]:           0 :         return util::Error{Untranslated(STR_INTERNAL_BUG("Fee paid < 0"))};
    1344                 :             :     }
    1345                 :             : 
    1346                 :             :     // If there is a change output and we overpay the fees then increase the change to match the fee needed
    1347   [ +  +  +  + ]:        3597 :     if (change_pos && fee_needed < current_fee) {
    1348         [ +  - ]:        1756 :         auto& change = txNew.vout.at(*change_pos);
    1349                 :        1756 :         change.nValue += current_fee - fee_needed;
    1350         [ +  - ]:        1756 :         current_fee = result.GetSelectedValue() - CalculateOutputValue(txNew);
    1351         [ -  + ]:        1756 :         if (fee_needed != current_fee) {
    1352   [ #  #  #  # ]:           0 :             return util::Error{Untranslated(STR_INTERNAL_BUG("Change adjustment: Fee needed != fee paid"))};
    1353                 :             :         }
    1354                 :             :     }
    1355                 :             : 
    1356                 :             :     // Reduce output values for subtractFeeFromAmount
    1357         [ +  + ]:        3597 :     if (coin_selection_params.m_subtract_fee_outputs) {
    1358                 :         634 :         CAmount to_reduce = fee_needed - current_fee;
    1359                 :         634 :         unsigned int i = 0;
    1360                 :         634 :         bool fFirst = true;
    1361         [ +  + ]:        1279 :         for (const auto& recipient : vecSend)
    1362                 :             :         {
    1363   [ +  +  +  + ]:         646 :             if (change_pos && i == *change_pos) {
    1364                 :         299 :                 ++i;
    1365                 :             :             }
    1366         [ +  + ]:         646 :             CTxOut& txout = txNew.vout[i];
    1367                 :             : 
    1368         [ +  + ]:         646 :             if (recipient.fSubtractFeeFromAmount)
    1369                 :             :             {
    1370                 :         644 :                 txout.nValue -= to_reduce / outputs_to_subtract_fee_from; // Subtract fee equally from each selected recipient
    1371                 :             : 
    1372         [ +  + ]:         644 :                 if (fFirst) // first receiver pays the remainder not divisible by output count
    1373                 :             :                 {
    1374                 :         634 :                     fFirst = false;
    1375                 :         634 :                     txout.nValue -= to_reduce % outputs_to_subtract_fee_from;
    1376                 :             :                 }
    1377                 :             : 
    1378                 :             :                 // Error if this output is reduced to be below dust
    1379   [ +  -  +  -  :         644 :                 if (IsDust(txout, wallet.chain().relayDustFee())) {
                   +  + ]
    1380         [ +  - ]:           1 :                     if (txout.nValue < 0) {
    1381         [ +  - ]:           3 :                         return util::Error{_("The transaction amount is too small to pay the fee")};
    1382                 :             :                     } else {
    1383         [ #  # ]:           0 :                         return util::Error{_("The transaction amount is too small to send after the fee has been deducted")};
    1384                 :             :                     }
    1385                 :             :                 }
    1386                 :             :             }
    1387                 :         645 :             ++i;
    1388                 :             :         }
    1389         [ +  - ]:         633 :         current_fee = result.GetSelectedValue() - CalculateOutputValue(txNew);
    1390         [ -  + ]:         633 :         if (fee_needed != current_fee) {
    1391   [ #  #  #  # ]:           0 :             return util::Error{Untranslated(STR_INTERNAL_BUG("SFFO: Fee needed != fee paid"))};
    1392                 :             :         }
    1393                 :             :     }
    1394                 :             : 
    1395                 :             :     // fee_needed should now always be less than or equal to the current fees that we pay.
    1396                 :             :     // If it is not, it is a bug.
    1397         [ -  + ]:        3596 :     if (fee_needed > current_fee) {
    1398   [ #  #  #  # ]:           0 :         return util::Error{Untranslated(STR_INTERNAL_BUG("Fee needed > fee paid"))};
    1399                 :             :     }
    1400                 :             : 
    1401                 :             :     // Give up if change keypool ran out and change is required
    1402   [ -  +  +  +  :        3596 :     if (scriptChange.empty() && change_pos) {
                   +  + ]
    1403         [ +  - ]:           6 :         return util::Error{error};
    1404                 :             :     }
    1405                 :             : 
    1406   [ +  +  +  -  :        3594 :     if (sign && !wallet.SignTransaction(txNew)) {
                   +  - ]
    1407         [ #  # ]:           0 :         return util::Error{_("Signing transaction failed")};
    1408                 :             :     }
    1409                 :             : 
    1410                 :             :     // Return the constructed transaction data.
    1411         [ +  - ]:        3594 :     CTransactionRef tx = MakeTransactionRef(std::move(txNew));
    1412                 :             : 
    1413                 :             :     // Limit size
    1414   [ +  +  -  + ]:        3594 :     if ((sign && GetTransactionWeight(*tx) > MAX_STANDARD_TX_WEIGHT) ||
    1415         [ +  + ]:        1079 :         (!sign && tx_sizes.weight > MAX_STANDARD_TX_WEIGHT))
    1416                 :             :     {
    1417         [ +  - ]:           6 :         return util::Error{_("Transaction too large")};
    1418                 :             :     }
    1419                 :             : 
    1420         [ +  + ]:        3592 :     if (current_fee > wallet.m_default_max_tx_fee) {
    1421         [ +  - ]:          57 :         return util::Error{TransactionErrorString(TransactionError::MAX_FEE_EXCEEDED)};
    1422                 :             :     }
    1423                 :             : 
    1424   [ +  -  +  -  :        3573 :     if (gArgs.GetBoolArg("-walletrejectlongchains", DEFAULT_WALLET_REJECT_LONG_CHAINS)) {
                   +  + ]
    1425                 :             :         // Lastly, ensure this tx will pass the mempool's chain limits
    1426         [ +  - ]:        3509 :         auto result = wallet.chain().checkChainLimits(tx);
    1427         [ +  + ]:        3509 :         if (!result) {
    1428         [ +  - ]:           3 :             return util::Error{util::ErrorString(result)};
    1429                 :             :         }
    1430                 :        3509 :     }
    1431                 :             : 
    1432                 :             :     // Before we return success, we assume any change key will be used to prevent
    1433                 :             :     // accidental reuse.
    1434         [ +  - ]:        3572 :     reservedest.KeepDestination();
    1435                 :             : 
    1436   [ +  -  +  -  :        3572 :     wallet.WalletLogPrintf("Coin Selection: Algorithm:%s, Waste Metric Score:%d\n", GetAlgorithmName(result.GetAlgo()), result.GetWaste());
                   +  - ]
    1437         [ +  - ]:        3572 :     wallet.WalletLogPrintf("Fee Calculation: Fee:%d Bytes:%u Tgt:%d (requested %d) Reason:\"%s\" Decay %.5f: Estimation: (%g - %g) %.2f%% %.1f/(%.1f %d mem %.1f out) Fail: (%g - %g) %.2f%% %.1f/(%.1f %d mem %.1f out)\n",
    1438                 :           0 :               current_fee, nBytes, feeCalc.returnedTarget, feeCalc.desiredTarget, StringForFeeReason(feeCalc.reason), feeCalc.est.decay,
    1439                 :             :               feeCalc.est.pass.start, feeCalc.est.pass.end,
    1440         [ +  - ]:        3572 :               (feeCalc.est.pass.totalConfirmed + feeCalc.est.pass.inMempool + feeCalc.est.pass.leftMempool) > 0.0 ? 100 * feeCalc.est.pass.withinTarget / (feeCalc.est.pass.totalConfirmed + feeCalc.est.pass.inMempool + feeCalc.est.pass.leftMempool) : 0.0,
    1441                 :             :               feeCalc.est.pass.withinTarget, feeCalc.est.pass.totalConfirmed, feeCalc.est.pass.inMempool, feeCalc.est.pass.leftMempool,
    1442                 :             :               feeCalc.est.fail.start, feeCalc.est.fail.end,
    1443   [ +  +  +  + ]:        3572 :               (feeCalc.est.fail.totalConfirmed + feeCalc.est.fail.inMempool + feeCalc.est.fail.leftMempool) > 0.0 ? 100 * feeCalc.est.fail.withinTarget / (feeCalc.est.fail.totalConfirmed + feeCalc.est.fail.inMempool + feeCalc.est.fail.leftMempool) : 0.0,
    1444                 :             :               feeCalc.est.fail.withinTarget, feeCalc.est.fail.totalConfirmed, feeCalc.est.fail.inMempool, feeCalc.est.fail.leftMempool);
    1445   [ +  -  -  +  :       10716 :     return CreatedTransactionResult(tx, current_fee, change_pos, feeCalc);
                   +  - ]
    1446                 :       25661 : }
    1447                 :             : 
    1448                 :        1931 : util::Result<CreatedTransactionResult> CreateTransaction(
    1449                 :             :         CWallet& wallet,
    1450                 :             :         const std::vector<CRecipient>& vecSend,
    1451                 :             :         std::optional<unsigned int> change_pos,
    1452                 :             :         const CCoinControl& coin_control,
    1453                 :             :         bool sign)
    1454                 :             : {
    1455         [ -  + ]:        1931 :     if (vecSend.empty()) {
    1456                 :           0 :         return util::Error{_("Transaction must have at least one recipient")};
    1457                 :             :     }
    1458                 :             : 
    1459   [ +  -  -  + ]:       22942 :     if (std::any_of(vecSend.cbegin(), vecSend.cend(), [](const auto& recipient){ return recipient.nAmount < 0; })) {
    1460                 :           0 :         return util::Error{_("Transaction amounts must not be negative")};
    1461                 :             :     }
    1462                 :             : 
    1463                 :        1931 :     LOCK(wallet.cs_wallet);
    1464                 :             : 
    1465         [ +  - ]:        1931 :     auto res = CreateTransactionInternal(wallet, vecSend, change_pos, coin_control, sign);
    1466                 :             :     TRACEPOINT(coin_selection, normal_create_tx_internal,
    1467                 :             :            wallet.GetName().c_str(),
    1468                 :             :            bool(res),
    1469                 :             :            res ? res->fee : 0,
    1470                 :        1931 :            res && res->change_pos.has_value() ? int32_t(*res->change_pos) : -1);
    1471         [ +  + ]:        1931 :     if (!res) return res;
    1472                 :        1819 :     const auto& txr_ungrouped = *res;
    1473                 :             :     // try with avoidpartialspends unless it's enabled already
    1474   [ +  +  +  -  :        1819 :     if (txr_ungrouped.fee > 0 /* 0 means non-functional fee rate estimation */ && wallet.m_max_aps_fee > -1 && !coin_control.m_avoid_partial_spends) {
                   +  + ]
    1475                 :        1759 :         TRACEPOINT(coin_selection, attempting_aps_create_tx, wallet.GetName().c_str());
    1476         [ +  - ]:        1759 :         CCoinControl tmp_cc = coin_control;
    1477                 :        1759 :         tmp_cc.m_avoid_partial_spends = true;
    1478                 :             : 
    1479                 :             :         // Reuse the change destination from the first creation attempt to avoid skipping BIP44 indexes
    1480         [ +  + ]:        1759 :         if (txr_ungrouped.change_pos) {
    1481         [ +  - ]:        1721 :             ExtractDestination(txr_ungrouped.tx->vout[*txr_ungrouped.change_pos].scriptPubKey, tmp_cc.destChange);
    1482                 :             :         }
    1483                 :             : 
    1484         [ +  - ]:        1759 :         auto txr_grouped = CreateTransactionInternal(wallet, vecSend, change_pos, tmp_cc, sign);
    1485                 :             :         // if fee of this alternative one is within the range of the max fee, we use this one
    1486         [ +  + ]:        3512 :         const bool use_aps{txr_grouped.has_value() ? (txr_grouped->fee <= txr_ungrouped.fee + wallet.m_max_aps_fee) : false};
    1487                 :             :         TRACEPOINT(coin_selection, aps_create_tx_internal,
    1488                 :             :                wallet.GetName().c_str(),
    1489                 :             :                use_aps,
    1490                 :             :                txr_grouped.has_value(),
    1491                 :             :                txr_grouped.has_value() ? txr_grouped->fee : 0,
    1492                 :        1759 :                txr_grouped.has_value() && txr_grouped->change_pos.has_value() ? int32_t(*txr_grouped->change_pos) : -1);
    1493         [ +  + ]:        1759 :         if (txr_grouped) {
    1494                 :        3506 :             wallet.WalletLogPrintf("Fee non-grouped = %lld, grouped = %lld, using %s\n",
    1495   [ +  +  +  - ]:        2049 :                 txr_ungrouped.fee, txr_grouped->fee, use_aps ? "grouped" : "non-grouped");
    1496         [ +  + ]:        1753 :             if (use_aps) return txr_grouped;
    1497                 :             :         }
    1498                 :        1759 :     }
    1499                 :         362 :     return res;
    1500         [ +  - ]:        3862 : }
    1501                 :             : 
    1502                 :         530 : util::Result<CreatedTransactionResult> FundTransaction(CWallet& wallet, const CMutableTransaction& tx, const std::vector<CRecipient>& vecSend, std::optional<unsigned int> change_pos, bool lockUnspents, CCoinControl coinControl)
    1503                 :             : {
    1504                 :             :     // We want to make sure tx.vout is not used now that we are passing outputs as a vector of recipients.
    1505                 :             :     // This sets us up to remove tx completely in a future PR in favor of passing the inputs directly.
    1506         [ -  + ]:         530 :     assert(tx.vout.empty());
    1507                 :             : 
    1508                 :             :     // Set the user desired locktime
    1509                 :         530 :     coinControl.m_locktime = tx.nLockTime;
    1510                 :             : 
    1511                 :             :     // Set the user desired version
    1512                 :         530 :     coinControl.m_version = tx.version;
    1513                 :             : 
    1514                 :             :     // Acquire the locks to prevent races to the new locked unspents between the
    1515                 :             :     // CreateTransaction call and LockCoin calls (when lockUnspents is true).
    1516                 :         530 :     LOCK(wallet.cs_wallet);
    1517                 :             : 
    1518                 :             :     // Fetch specified UTXOs from the UTXO set to get the scriptPubKeys and values of the outputs being selected
    1519                 :             :     // and to match with the given solving_data. Only used for non-wallet outputs.
    1520                 :         530 :     std::map<COutPoint, Coin> coins;
    1521         [ +  + ]:        3232 :     for (const CTxIn& txin : tx.vin) {
    1522         [ +  - ]:        2702 :         coins[txin.prevout]; // Create empty map entry keyed by prevout.
    1523                 :             :     }
    1524         [ +  - ]:         530 :     wallet.chain().findCoins(coins);
    1525                 :             : 
    1526         [ +  + ]:        3231 :     for (const CTxIn& txin : tx.vin) {
    1527                 :        2702 :         const auto& outPoint = txin.prevout;
    1528         [ +  - ]:        2702 :         PreselectedInput& preset_txin = coinControl.Select(outPoint);
    1529   [ +  -  +  + ]:        2702 :         if (!wallet.IsMine(outPoint)) {
    1530   [ +  -  +  + ]:          24 :             if (coins[outPoint].out.IsNull()) {
    1531         [ +  - ]:           3 :                 return util::Error{_("Unable to find UTXO for external input")};
    1532                 :             :             }
    1533                 :             : 
    1534                 :             :             // The input was not in the wallet, but is in the UTXO set, so select as external
    1535   [ +  -  +  - ]:          23 :             preset_txin.SetTxOut(coins[outPoint].out);
    1536                 :             :         }
    1537         [ +  - ]:        2701 :         preset_txin.SetSequence(txin.nSequence);
    1538         [ +  - ]:        2701 :         preset_txin.SetScriptSig(txin.scriptSig);
    1539         [ +  - ]:        2701 :         preset_txin.SetScriptWitness(txin.scriptWitness);
    1540                 :             :     }
    1541                 :             : 
    1542         [ +  - ]:         529 :     auto res = CreateTransaction(wallet, vecSend, change_pos, coinControl, false);
    1543         [ +  + ]:         529 :     if (!res) {
    1544                 :          90 :         return res;
    1545                 :             :     }
    1546                 :             : 
    1547         [ +  + ]:         439 :     if (lockUnspents) {
    1548         [ +  + ]:           8 :         for (const CTxIn& txin : res->tx->vin) {
    1549         [ +  - ]:           4 :             wallet.LockCoin(txin.prevout, /*persist=*/false);
    1550                 :             :         }
    1551                 :             :     }
    1552                 :             : 
    1553                 :         439 :     return res;
    1554         [ +  - ]:        1589 : }
    1555                 :             : } // namespace wallet
        

Generated by: LCOV version 2.0-1