[Bug tree-optimization/111694] [13/14 Regression] Wrong behavior for signbit of negative zero when optimizing

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

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

--- Comment #10 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-13 branch has been updated by Andrew Macleod
<amacl...@gcc.gnu.org>:

https://gcc.gnu.org/g:f0efc4b25cba1bd35b08b7dfbab0f8fc81b55c66

commit r13-7945-gf0efc4b25cba1bd35b08b7dfbab0f8fc81b55c66
Author: Andrew MacLeod <amacl...@redhat.com>
Date:   Mon Oct 9 13:40:15 2023 -0400

    Ensure float equivalences include + and - zero.

    A floating point equivalence may not properly reflect both signs of
    zero, so be pessimsitic and ensure both signs are included.

            PR tree-optimization/111694
            gcc/
            * gimple-range-cache.cc (ranger_cache::fill_block_cache): Adjust
            equivalence range.
            * value-relation.cc (adjust_equivalence_range): New.
            * value-relation.h (adjust_equivalence_range): New prototype.

            gcc/testsuite/
            * gcc.dg/pr111694.c: New.