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

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

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

Sam James <sjames at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           See Also|                            |https://gcc.gnu.org/bugzill
                   |                            |a/show_bug.cgi?id=120638

--- Comment #15 from Sam James <sjames at gcc dot gnu.org> ---
(In reply to chenglulu from comment #14)
> Hi:
> 
> With the patch, the following testcase generates an incorrect assembly on
> LoongArch.
> [...]

(For the record, filed as PR120638).