https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316 Bug 85316 depends on bug 68097, which changed state.
Bug 68097 Summary: We should track ranges for floating-point values too https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68097 What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution|--- |FIXED
