https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107608
Aldy Hernandez <aldyh at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Attachment #54224|0 |1 is obsolete| | --- Comment #26 from Aldy Hernandez <aldyh at gcc dot gnu.org> --- Created attachment 54253 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=54253&action=edit proposed patch So where are we on this? Do we want to do something like this for this release, or something else entirely? This is a variation of the previous patch that instead of setting varying, avoids the singleton by returning: [INF, INF] => [+MAX, +INF] [-INF, -INF] => [-INF, -MIN]