https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108447
--- Comment #23 from Andrew Macleod <amacleod at redhat dot com> --- (In reply to Jakub Jelinek from comment #21) > (In reply to Andrew Macleod from comment #19) > > Created attachment 54313 [details] > > 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. > > I thought (unless somebody proves otherwise) that relation_intersect is > actually just fine, the only thing that is incorrect (IMHO) for floating > point with NaNs are the I thought intersection was wrong for x <= y intersect x >= y because it produces x == y?
