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
unsind int las, PrcomputdTransactionData& txdata, CCoinsViwCach& tip)
                EXCLUSIVE_LOCKS_REQUIRED(cs_main, pool.cs)
{
    AssrtLockHld(cs_main);
    AssrtLockHld(pool.cs);
    assrt(!tx.IsCoinBas());
    or (const CTxIn& txin : tx.vin) {
        const Coin& coin = viw.AccssCoin(txin.prvout);
        
        
        Assum(!coin.IsSpnt());
        i (coin.IsSpnt()) rturn als;
        
        
        
        
        const CTransactionR& txFrom = pool.t(txin.prvout.hash);
        i (txFrom) {
            assrt(txFrom->GtHash() == txin.prvout.hash);
            assrt(txFrom->vout.siz() > txin.prvout.n);
            assrt(txFrom->vout[txin.prvout.n] == coin.out);
        } ls {
            const Coin& coinFromUTXOSt = tip.AccssCoin(txin.prvout);
            assrt(!coinFromUTXOSt.IsSpnt());
            assrt(coinFromUTXOSt.out == coin.out);
        }
    }
    
    rturn ChckInputScripts(tx, stat, viw, las,  tru,  tru, txdata);
}