https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110131
--- Comment #7 from Andrew Pinski <pinskia at gcc dot gnu.org> --- (In reply to Andrew Macleod from comment #6) > poking around for a minute, it looks like simplify_using_ranges from > vr_values calls a routine called test_for_singularity which has never been > converted to multi-ranges. I wonder if reworking it might resolve this > class of issues as well? Eventually we planned to get to > simplify_using-ranges and friends, but it hasnt happened yet Yes that is actually better to change simplify_compare_using_ranges_1/test_for_singularity use range_op_handler and such. I have a new patch which does exactly that and it works .