http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54014
--- Comment #6 from Fabrizio Ferrandi
2012-07-19 09:11:31 UTC ---
Yes, you are right. I'm assuming a two complements arithmetic but without
passing the -fwrapv parameter. With that parameter my analysis is starting to
get correct results. I'm wor
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54014
Jakub Jelinek changed:
What|Removed |Added
CC||jakub at gcc dot gnu.org
--- Comment #5 f
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54014
--- Comment #4 from Fabrizio Ferrandi
2012-07-18 17:41:48 UTC ---
Maybe I missing something but there is a specific code that deals with this
undefined behavior in tree-vrp.c:
else if (code == ABS_EXPR
&& !TYPE_UNSIGNED (type))
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54014
--- Comment #3 from Richard Guenther 2012-07-18
12:21:06 UTC ---
(In reply to comment #2)
> I do not agree.
> abs(-2147483648) returns -2147483648.
>
> May be is odd but is how the implementation of abs works. Isn't it?
abs(-2147483648) invokes
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54014
--- Comment #2 from Fabrizio Ferrandi
2012-07-18 11:56:26 UTC ---
I do not agree.
abs(-2147483648) returns -2147483648.
May be is odd but is how the implementation of abs works. Isn't it?
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54014
Richard Guenther changed:
What|Removed |Added
Status|UNCONFIRMED |RESOLVED
Resolution|
