http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51795
--- Comment #7 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-01-27 12:35:28 UTC --- As a matter of fact, I don't see why here (and elsewhere, eg generate) we have to use the Schrage trick to avoid integer overflow: we know that the integers are unsigned and I don't see anything about that in the Standard.
