http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51795
--- Comment #28 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-01-30 15:52:00 UTC --- As a matter of fact, I'm not able to prove that things can go wrong with the normal Schrage when x == m - 1, at least given our other conds (eg, a < m). I guess better not fiddling with this, unless somebody has a testcase...
