[Bug tree-optimization/23127] [4.1 Regression] VRP propagates negation of antirange incorrectly

[pinskia at gcc dot gnu dot org]

------- 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