This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/33142] [4.1 Regression] wrong code with VRP through ABS_EXPR
- From: "rguenth at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 21 Aug 2007 22:00:38 -0000
- Subject: [Bug tree-optimization/33142] [4.1 Regression] wrong code with VRP through ABS_EXPR
- References: <bug-33142-2744@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #2 from rguenth at gcc dot gnu dot org 2007-08-21 22:00 -------
Created an attachment (id=14092)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=14092&action=view)
untested patch
The problem is we compare for TYPE_MIN_VALUE by pointer, but the conversion
from long to int in ABS_EXPR <(int) dx> is useless so we end up comparing
differently typed (but same valued) integer type bounds.
Ian fixed this with the overflow warning stuff with 4.2 and trunk.
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|unassigned at gcc dot gnu |rguenth at gcc dot gnu dot
|dot org |org
Status|NEW |ASSIGNED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33142