--- Comment #4 from rguenth at gcc dot gnu dot org 2006-11-16 12:53 ---
Well, for integers i < 0x7fff is equal to i != 0x7fff as 0x7fff is
the most positive number, any other bit-pattern will be less than that.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29868
--- Comment #3 from michael dot chapman at cortus dot com 2006-11-16 11:52
---
Subject: Re: Incorrect code generated for comparison
rguenth at gcc dot gnu dot org wrote:
> --- Comment #2 from rguenth at gcc dot gnu dot org 2006-11-16 11:42
> ---
> This is invalid. Adding 0x
--- Comment #2 from rguenth at gcc dot gnu dot org 2006-11-16 11:42 ---
This is invalid. Adding 0x1001 to 7 * 0x1001 invokes undefined
behavior
(so you get the wrapped result, which is negative and you abort).
--
rguenth at gcc dot gnu dot org changed:
What|R
--- Comment #1 from michael dot chapman at cortus dot com 2006-11-16 11:24
---
Created an attachment (id=12630)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=12630&action=view)
test case
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29868
