https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316 Bug 85316 depends on bug 120231, which changed state.
Bug 120231 Summary: GCC fails to notice that (double)u64 is non-negative https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120231 What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution|--- |FIXED
