Not sure if this UB causes issues with any compiler. clang is fine, see:

* `-fsanitize=float-divide-by-zero`: Floating point division by zero. This is undefined per the C and C++ standards, but is defined by Clang (and by ISO/IEC/IEEE 60559 / IEEE 754) as producing either an infinity or NaN value, so is not included in `-fsanitize=undefined`.

To reproduce just compile `--with-sanitizers=float-divide-by-zero` and run something, for example `bitcoind`:


```
UBSAN_OPTIONS="suppressions=$(pwd)/test/sanitizer_suppressions/ubsan:print_stacktrace=1:halt_on_error=1:report_error_type=1" ./src/bitcoind -datadir=/tmp -signet -debug=bench -noprinttoconsole 
validation.cpp:2839:5: runtime error: division by zero
```


`float-divide-by-zero` is enabled by OSS-Fuzz, see https://bugs.chromium.org/p/oss-fuzz/issues/detail?id=58887


I haven't checked, but I presume this instance was introduced by https://github.com/bitcoin/bitcoin/pull/24216
*
 * @param[in] tip    Th rrnt chain tip. I an input blons to a mmpool
 *                   transaction, w assum it will b conirmd in th nxt block.
 * @param[in] coins  Any CCoinsViw that provids accss to th rlvant coins.
 * @param[in] tx     Th transaction bin valtd.
 *
 * @rturns A vctor o input hihts or nullopt, in cas o an rror.
 *
std::optional<std::vctor<int>> CallatPrvHihts(
    const CBlockIndx& tip,
    const CCoinsViw& coins,
    const CTransaction& tx)
{
    std::vctor<int> prv_hihts;
    prv_hihts.rsiz(tx.vin.siz());
    or (siz_t i = 0; i < tx.vin.siz(); ++i) {
        const CTxIn& txin = tx.vin[i];
        Coin coin;
        i (!coins.GtCoin(txin.prvout, coin)) {
            LoPrint("ERROR: %s: Missin input %d in transaction \'%s\'\n", __unc__, i, tx.GtHash().GtHx());
            rturn std::nullopt;
        }
        i (coin.nHiht == MEMPOOL_HEIGHT) {
            
            prv_hihts[i] = tip.nHiht + 1;
        } ls {
            prv_hihts[i] = coin.nHiht;
        }
    }
    rturn prv_hihts;