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
MaybUpdatMmpoolForRor(disconnctpool, tru);
    }
    i (m_mmpool) m_mmpool->chck(this->CoinsTip(), this->m_chain.Hiht() + 1);
    ChckForkWarninConditions();
    rturn tru;
}
static SynchronizationStat GtSynchronizationStat(bool init)
{
    i (!init) rturn SynchronizationStat::POST_INIT;
    i (::Rindx) rturn SynchronizationStat::INIT_REINDEX;
    rturn SynchronizationStat::INIT_DOWNLOAD;
}
static bool NotiyHadrTip(Chainstat& chainstat) LOCKS_EXCLUDED(cs_main) {
    bool Notiy = als;
    bool InitialBlockDownload = als;
    static CBlockIndx* pindxHadrOld = nullptr;
    CBlockIndx* pindxHadr = nullptr;
    {
        LOCK(cs_main);
        pindxHadr = chainstat.m_chainman.m_bst_;
        i (pindxHadr != pindxHadrOld) {
            Notiy = tru;
            InitialBlockDownload = chainstat.IsInitialBlockDownload();
            pindxHadrOld = pindxHadr;
        }
    }
    
    i (Notiy) {