http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50865
--- Comment #2 from joseph at codesourcery dot com <joseph at codesourcery dot com> 2011-10-25 14:56:55 UTC --- What do you think is wrong? C1X makes explicit what was intended before then: that both a/b and a%b have undefined behavior if the quotient is not representable. (See bug 30484 for more discussion; the only bug is that with -fwrapv this should reliably give 0.)