Re: [RFC PATCH] range-op-float: Fix up op1_op2_relation of comparisons

[Jakub Jelinek via Gcc-patches]

On Wed, Apr 12, 2023 at 06:35:29PM +0200, Bernhard Reutner-Fischer wrote:
> >+    relation_kind ret = le_op1_op2_relation (lhs);
> >+    if (ret == VREL_GT
> >+    && (op1.known_isnan ()
> >+        || op1.maybe_isnan ()
> >+        || op2.known_isnan ()
> >+        || op2.maybe_isnan ()))
> >+      ret = VREL_VARYING; // Inverse of VREL_LE is VREL_UNGT with NAN ops.
> >+    return ret;
> >     return le_op1_op2_relation (lhs);
> 
> I think you forgot to delete the above return.

Thanks, adjusted in my copy.

        Jakub