------- Additional Comments From veksler at il dot ibm dot com 2005-06-27 15:33 ------- This is a bug because std::numeric_limits<signed>::is_modulo should be true only if singed overflow is defined. This is not the case with gcc, because gcc does not have the extension "signed oveflow == module" then is_modulo should not lie. The undefinedness referse to MAX_INT+1 not to is_modulo.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22200