http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30318
--- Comment #19 from Marc Glisse <glisse at gcc dot gnu.org> 2012-06-20 19:12:22 UTC --- (In reply to comment #18) > I have now pushed all my refactorings into VRP, Thanks. > Can you adjust your patch with the double-double_int arithmetic stuff > to that fact? I'll look into that later in the summer (maybe August). It seems quite possible that much less is needed now. (note, in case, that I don't mind in the slightest if someone beats me to it).