This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/23127] [4.1 Regression] VRP propagates negation of antirange incorrectly
- From: "pinskia at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 29 Jul 2005 11:29:53 -0000
- Subject: [Bug tree-optimization/23127] [4.1 Regression] VRP propagates negation of antirange incorrectly
- References: <20050729090153.23127.rmorganl@u.washington.edu>
- Reply-to: gcc-bugzilla 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 <phython@gcc.gnu.org>
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