https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71026 --- Comment #12 from Wilco <wilco at gcc dot gnu.org> --- It looks the only case left to do is f5: x * C <= 0.0 -> x <= 0.0 if C >= 1.0 x * C <= 0.0 -> x < FLT_MIN/C if C < 1.0