On 20 February 2013 18:45, Xi Wang <xi at mit.edu> wrote: > In C, signed integer overflow is undefined behavior. Many compilers > optimize away checks like `a + b < a'. > > Use safe precondition testing instead. > > Signed-off-by: Xi Wang <xi at mit.edu> Applied, thanks!