------- Comment #2 from jvdelisle at gcc dot gnu dot org 2006-06-07 03:28 ------- I would like to work on this one. The range check is only looking for ARITH_OK when it could also see ARITH_UNDERFLOW or ARITH_OVERFLOW. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19310