[Bug tree-optimization/54014] Value Range propagation bug

[rguenth at gcc dot gnu.org]

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

--- Comment #3 from Richard Guenther <rguenth at gcc dot gnu.org> 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 undefined behavior, similar to -(-2147483648),
according to the C standard.