https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105112
--- Comment #3 from David Malcolm <dmalcolm at gcc dot gnu.org> --- Possible simplification: don't try to model floating-point operations e.g. any binop on a floating point value has unknown_svalue as the result, so that complicated floating-point computations can be quickly handled with a "we don't care" value. (though do we care about tainted divisors for floating-point?)
