------- Comment #25 from rguenth at gcc dot gnu dot org 2010-02-19 10:22 ------- (In reply to comment #24) > Richard, can you comment on this issue? Do you think it's currently correct to > have numeric_limits<>:is_modulo == true for all our signed integral types? We > are not making any progress on this issue :(
Well, it's certainly not 100% correct to claim signed ints have modulo semantics. I don't know if it is helpful to say numeric_limits<>:is_modulo == false to our users. It would probably be useful to add a preprocessor macro when -fwrapv is in effect. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22200
