https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108447
Andrew Macleod <amacleod at redhat dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Attachment #54312|0 |1
is obsolete| |
--- Comment #19 from Andrew Macleod <amacleod at redhat dot com> ---
Created attachment 54313
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=54313&action=edit
better patch
A more consistent approach.. rather than directly call relation_intersect()
from multiple places, add the floating point fix to value_relation::intersect
and always go through that.
This will cause the normal oracle and the path oracle to both make the previous
adjustment to intersect for floating point operations. untested, running
tests now.
