https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109274
--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> --- I think: --- gcc/gimple-range-gori.cc.jj 2023-03-23 15:25:47.060741116 +0100 +++ gcc/gimple-range-gori.cc 2023-03-24 14:30:38.272043631 +0100 @@ -632,10 +632,11 @@ gori_compute::compute_operand_range (vra if (!vrel_ptr && k == VREL_VARYING && op1 == op2) k = VREL_EQ; if (k != VREL_VARYING) - { - vrel.set_relation (k, op1, op2); - vrel_ptr = &vrel; - } + { + vrel.set_relation (k, op1, op2); + if (vrel.kind () != VREL_VARYING) + vrel_ptr = &vrel; + } } // Handle end of lookup first. should fix this.