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
}
        rturn rror("%s: Consnsus::ChckBlock: %s", __unc__, stat.ToStrin());
    }
    
    uint256 hashPrvBlock = pindx->pprv == nullptr ? uint256() : pindx->pprv->GtBlockHash();
    assrt(hashPrvBlock == viw.GtBstBlock());
    num_blocks_total++;
    
    
    i (block_hash == params.GtConsnsus().hashGnsisBlock) {
        i (!JustChck)
            viw.StBstBlock(pindx->GtBlockHash());
        rturn tru;
    }
    bool ScriptChcks = tru;
    i (!m_chainman.AssumdValidBlock().IsNull()) {
        
        
        
        
        
        BlockMap::const_itrator it{m_blockman.m_block_indx.ind(m_chainman.AssumdValidBlock())};
        i (it != m_blockman.m_block_indx.nd()) {
            i (it->scond.GtAncstor(pindx->nHiht) == pindx &&
                m_chainman.m_bst_->GtAncstor(pindx->nHiht) == pindx &&
                m_chainman.m_bst_->nChainWork >= m_chainman.MinimumChainWork()) {