[Bug libstdc++/22200] numeric_limits<signed>::is_modulo is inconsistend with gcc

Gabriel Dos Reis gdr@integrable-solutions.net
Mon Jun 27 16:24:00 GMT 2005


"pinskia at gcc dot gnu dot org" <gcc-bugzilla@gcc.gnu.org> writes:

| Actually it is modulo for all operations.  

But then do read the comment as far as the loop optimizer is
concerned. It does not seem like it understands that it is modulo
arithmetic. 

| and INT_MAX/-1 does not raise a trap.

It that is the case, then it is one issue less.  But that wasn't the
purpose of this PR.  The issue is far from resolved just because
you assert that INT_MAX/-1 does not trap.

-- Gaby



More information about the Gcc-bugs mailing list