https://gcc.gnu.org/bugzilla/show_bug.cgi?id=24021
--- Comment #8 from Aldy Hernandez <aldyh at gcc dot gnu.org> --- (In reply to Jeffrey A. Law from comment #7) > 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. The solver, or ranger/gori, should be isolated from changes. The main goal is to make ranger work with generic vrange's, not iranges or franges. Once I'm done with the abstraction, it should only be value-range.* (class frange) and range-ops* that should be affected. That's the theory anyhow ;-).
