https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108397
Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Assignee|unassigned at gcc dot gnu.org |pinskia at gcc dot gnu.org Status|NEW |ASSIGNED --- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> --- I am going to change/fix va-values.cc:test_for_singularity to implement this. The comment before this function even says: ``` /* We are comparing trees OP0 and OP1 using COND_CODE. OP0 has a known value range VR. If there is one and only one value which will satisfy the conditional, then return that value. Else return NULL. ``` Which does make it sound like it should have done that too.