------- Additional Comments From schlie at comcast dot net 2005-06-27 18:00 ------- (In reply to comment #13) > Invalid as the C++ standard says: > " True if the type is modulo.203) A type is modulo if it is possible to add > two positive numbers and > have a result that wraps around to a third number that is less. Generally, > this is false for floating types, > true for unsigned integers, and true for signed integers on" > > it says "if possible" which means not always but some of the time.
It's only "possible" because the sum of two positive numbers may not exceed that type's MAX value; not because if a type is modulo it may not produce a modulo result. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22200
