------- Additional Comments From pinskia at gcc dot gnu dot org 2005-07-29
11:29 -------
Fixed in 20050729 already by:
2005-07-27 James A. Morrison <[EMAIL PROTECTED]>
PR tree-optimization/22493
* tree-vrp.c (extract_range_from_unary_expr): Deal with -fwrapv and
VR_ANTI_RANGEs properly for NEGATE_EXPRs and ABS_EXPRs.
James, You want to apply this testcase as an example of something which VRP
miscompiled?
--
What |Removed |Added
----------------------------------------------------------------------------
CC| |phython at gcc dot gnu dot
| |org
Status|UNCONFIRMED |RESOLVED
Keywords| |wrong-code
Resolution| |FIXED
Summary|VRP propagates negation of |[4.1 Regression] VRP
|antirange incorrectly |propagates negation of
| |antirange incorrectly
Target Milestone|--- |4.1.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23127
