https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103257
--- Comment #2 from Andrew Macleod <amacleod at redhat dot com> --- At issue is GORI does not yet process COND_EXPRS, so we cannot do any evaluations to refine ranges on outgoing edges. It is on the list :-)