http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56363
--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> 2013-02-19 16:23:03 UTC --- At least from what is described in that PR, it would look like it is just fine to use EXACT_DIV_EXPR, but that we should pass op0 and op1 to the fold_build2_loc call, instead of arg0/arg1.