On Wed, Mar 28, 2012 at 07:17:12PM -0700, Eli Friedman wrote: > INT_MIN % -1 in C is undefined. Looking at this and more importantly the behavior of GCC compiled code -- this definitely means that / and % should be covered by overflow checks... Joerg