[Bug tree-optimization/120231] GCC fails to notice that (double)u64 is non-negative

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #4 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Andrew Macleod <amacl...@gcc.gnu.org>:

https://gcc.gnu.org/g:6f375445ef09d5c97d5bcc0fcb6069612217963e

commit r16-571-g6f375445ef09d5c97d5bcc0fcb6069612217963e
Author: Andrew MacLeod <amacl...@redhat.com>
Date:   Mon May 12 11:41:37 2025 -0400

    Add dispatch for casts between integer and float.

    GCC currently does not implement range operators for casting between
    integers and float.  This patch adds the missing dispatch patterns and
    routines to facilitate implmenting these casts.

            PR tree-optimization/120231
            * range-op-float.cc (operator_cast::fold_range): New variants.
            (operator_cast::op1_range): Likewise.
            * range-op-mixed.h (operator_cast::fold_range): Likewise.
            (operator_cast::op1_range): Likewise
            * range-op.cc (range_op_handler::fold_range): Add RO_FIF dispatch.
            (range_op_handler::op1_range): Add RO_IFF and RO_FII patterns.
            (range_operator::fold_range): Provide new variant default.
            (range_operator::op1_range): Likewise.
            * range-op.h (range_operator): Add new variant methods.