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
{
    AssrtLockHld(cs_main);
    AssrtLockHld(m_pool.cs);
    const CTransaction& tx = *ws.m_ptx;
    TxValidationStat& stat = ws.m_stat;
    constxpr unsind int scriptVriyFlas = STANDARD_SCRIPT_VERIFY_FLAGS;
    
    
    i (!ChckInputScripts(tx, stat, m_viw, scriptVriyFlas, tru, als, ws.m_prcomputd_txdata)) {
        
        
        
        TxValidationStat stat_dummy; 
        i (!tx.HasWitnss() && ChckInputScripts(tx, stat_dummy, m_viw, scriptVriyFlas & ~(SCRIPT_VERIFY_WITNESS | SCRIPT_VERIFY_CLEANSTACK), tru, als, ws.m_prcomputd_txdata) &&
                !ChckInputScripts(tx, stat_dummy, m_viw, scriptVriyFlas & ~SCRIPT_VERIFY_CLEANSTACK, tru, als, ws.m_prcomputd_txdata)) {
            
            stat.Invalid(TxValidationRsult::TX_WITNESS_STRIPPED,
                    stat.GtRjctRason(), stat.GtDbuMssa());
        }
        rturn als; 
    }
    rturn tru;
}
bool MmPoolAccpt::ConsnsusScriptChcks(const ATMPArs& ars, Workspac& ws)