[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 #5 from CVS 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:b0892b1fc637fadf14d7016858983bc5776a1e69

commit r14-4520-gb0892b1fc637fadf14d7016858983bc5776a1e69
Author: Andrew MacLeod <amacl...@redhat.com>
Date:   Mon Oct 9 10:15:07 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.