https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107591
--- Comment #16 from Andrew Macleod <amacleod at redhat dot com> --- (In reply to Jakub Jelinek from comment #15) > I've screwed up the real_value_negate calls, they need to assign the result. > > Anyway, yet another option would be for cdce to ask the ranger if the sqrt > argument can be smaller than -0.0 (and only if it can, emit the comparison). > Then we don't need to deal with removing the comparison again. > Of course, such removals might be still useful for user code. even checking the global range from cdce at this point should show that its >= -0.0...
