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
--- 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 #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
Bug #: 54014
Summary: Value Range propagation bug
Classification: Unclassified
Product: gcc
Version: 4.5.3
Status: UNCONFIRMED
Severity: normal
Priority: P3
