------- Comment #6 from rguenth at gcc dot gnu dot org 2010-06-27 08:50 -------
Indeed. It's exposed by that patch.
DOM, from seeing x_2(D) != 0.0 records x_2(D) == 0.0 as equivalence. This
is not correct if signed zeros can appear.
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
Component|rtl-optimization |tree-optimization
Last reconfirmed|2010-06-26 22:57:46 |2010-06-27 08:50:38
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44683
