http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55796
--- Comment #2 from Marc Glisse <glisse at gcc dot gnu.org> 2013-02-28 16:57:35 UTC --- (In reply to comment #1) > DOM is the optimization that tries to optimize these cases. It's probably > overly careful for FP compares. Note that the compiler doesn't optimize this any better if I replace double with int.