https://gcc.gnu.org/bugzilla/show_bug.cgi?id=24021
Jeffrey A. Law <law at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |law at gcc dot gnu.org
--- Comment #7 from Jeffrey A. Law <law at gcc dot gnu.org> ---
Very cool. ANd no, I'm not enough of an expert on the FP side to shepherd that
though. I would expect it to be exceptionally tricky on the solver side.
Probably the most useful things I've come across would be knowing if a
particular value can or can not have certain special values. ie, [qs]NaN,
+-0.0, +-Inf. Knowing how an value relates to 0 is also quite helpful. ie, >
0, < 0 and the like.