https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107591
--- Comment #15 from Jakub Jelinek <jakub at gcc dot gnu.org> --- 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.