This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/34099] [4.3 Regression] optimizer problem
- 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: 15 Nov 2007 15:40:14 -0000
- Subject: [Bug tree-optimization/34099] [4.3 Regression] optimizer problem
- References: <bug-34099-3137@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #5 from rguenth at gcc dot gnu dot org 2007-11-15 15:40 -------
That is, a certain class of operations (like COMPLEX_EXPR) do not fulfil the
constraint that if one operand is UNDEFINED the result is UNDEFINED as well.
For example MIN_EXPR <INT_MIN, UNDEFINED>, or MAX_EXPR <INT_MAX, UNDEFINED>
are of such kind as well. No idea if we want a white-list here instead.
BIT_AND_EXPR <UNDEFINED, 0> is also not UNDEFINED.
(all of the above not with actual constants as defined arg, but VARYING ones)
I have a patch.
--
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
Last reconfirmed|2007-11-15 10:21:31 |2007-11-15 15:40:13
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34099