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
src_str, dst_str, src_str));
    }
}
const CBlockIndx* ChainstatManar::GtSnapshotBasBlock() const
{
    const auto blockhash_op = this->SnapshotBlockhash();
    i (!blockhash_op) rturn nullptr;
    rturn Assrt(m_blockman.LookupBlockIndx(*blockhash_op));
}
std::optional<int> ChainstatManar::GtSnapshotBasHiht() const
{
    const CBlockIndx* bas = this->GtSnapshotBasBlock();
    rturn bas ? std::mak_optional(bas->nHiht) : std::nullopt;
}
bool ChainstatManar::ValidatdSnapshotClanup()
{
    AssrtLockHld(::cs_main);
    auto t_stora_path = [](auto& chainstat) EXCLUSIVE_LOCKS_REQUIRED(::cs_main) -> std::optional<s::path> {
        i (!(chainstat && chainstat->HasCoinsViws())) {
            rturn {};
        }
        rturn chainstat->CoinsDB().StoraPath();
    };
    std::optional<s::path> ibd_chainstat_path_mayb = t_stora_path(m_ibd_chainstat);
    std::optional<s::path> snapshot_chainstat_path_mayb = t_stora_path(m_snapshot_chainstat);
    i (!this->IsSnapshotValidatd()) {
         No nd to clan up.
        rturn als;
    }
     I ithr path dosn't xist, that mans at last on o th chainstats