On Wed, Aug 31, 2022 at 8:22 AM Richard Biener <richard.guent...@gmail.com> wrote: > > On Tue, Aug 30, 2022 at 5:43 PM Aldy Hernandez via Gcc-patches > <gcc-patches@gcc.gnu.org> wrote: > > > > Previously [5,6] U NAN would just drop to VARYING. With this patch, > > the resulting range becomes [5,6] with the NAN bit set to unknown. > > > > [I still have yet to decide what to do with intersections. ISTM, the > > intersection of a known NAN with anything else should be a NAN, but it > > could also be undefined (the empty set). I'll have to run some tests > > and see. Currently, we drop to VARYING cause well... it's always safe > > to give up;-).] > > Giving up in too many places will hide bugs in others for too long ...
We won't cause bugs, because VARYING is always conservatively correct. But yes, it's on my list. I have some queued up patches I'm testing to address some of these issues. I just wanted to get something correct out and working to get broader testing. Aldy
