https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108447
--- Comment #13 from rguenther at suse dot de <rguenther at suse dot de> --- On Thu, 19 Jan 2023, jakub at gcc dot gnu.org wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108447 > > --- Comment #12 from Jakub Jelinek <jakub at gcc dot gnu.org> --- > As a workaround in stage4, perhaps, but long term the relations make a lot of > sense even for floating point with NANs. If you know <= relation between 2 > vars and know the range of one of them, the other can be computed from it, ... I think it makes more sense to fix the relation combining code, maybe simply disable that for FP as a workaround?
