[PPL-devel] [Fwd: [Bug target/30484] Miscompilation of remainder expressions on CPUs of the i386 family]

[Roberto Bagnara]

-------- Original Message --------
Subject: [Bug target/30484] Miscompilation of remainder expressions on CPUs of the i386 family
Date: 21 Feb 2009 18:45:40 -0000
From: jsm28 at gcc dot gnu dot org <gcc-bugzilla at gcc.gnu.org>
Reply-To: gcc-bugzilla at gcc.gnu.org
To: bagnara at cs.unipr.it
References: <bug-30484-1710 at http.gcc.gnu.org/bugzilla/>



------- Comment #10 from jsm28 at gcc dot gnu dot org  2009-02-21 18:45 -------
This issue was discussed on the WG14 reflector in October 2008, and the general
view was that the standard should not make INT_MIN % -1 well defined (as this
would impose a significant performance cost on many programs to benefit very
few) and probably didn't intend to.

There is still a bug for the -fwrapv case, where clearly both INT_MIN / -1
and INT_MIN % -1 should be well defined, but probably the extra checks
if implemented should only be enabled implicitly for -fwrapv, not for C
standards conformance modes.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30484

------- You are receiving this mail because: -------
You reported the bug, or are watching the reporter.


-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it