This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug middle-end/26824] optimisation bug with -0x80000000
- From: "falk at debian dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 23 Mar 2006 14:44:47 -0000
- Subject: [Bug middle-end/26824] optimisation bug with -0x80000000
- References: <bug-26824-6341@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #2 from falk at debian dot org 2006-03-23 14:44 -------
Wait a minute. 0x80000000 is unsigned. So -0x80000000 is well-defined, and
is 0x80000000 (unsigned). This is then converted to signed. Since 0x80000000
cannot be represented in signed, the result is implementation specific.
We document it to be -0x80000000. So the call is just fine.
--
falk at debian dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|RESOLVED |UNCONFIRMED
Resolution|INVALID |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26824