[Bug c++/119222] Conversion of inf to integer is not diagnosed

[gwen3293940943 at gmail dot com via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119222

--- Comment #6 from Gwen Fu <gwen3293940943 at gmail dot com> ---
And also see "constexpr.cc in "gcc/cp":
the function "potential_constant_expression_1":
        if (integer_zerop (denom))
          {
            if (flags & tf_error)
              constexpr_error (input_location, fundef_p,
                               "division by zero is not a constant
expression");
            return false;
          }
        else
          {
            want_rval = true;
            return RECUR (TREE_OPERAND (t, 0), want_rval);
          }
      }

Is this code missing a check for the "division by zero" condition in binary
floating point operations?
If my guess is correct ， I want to fix the bug !