[Bug tree-optimization/101223] [11/12 Regression] evrp produces wrong code since r11-3685-gfcae5121154d1c33

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

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

--- Comment #11 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:84f7bab89279ca1234fef88929c74caeda8cb55e

commit r12-1986-g84f7bab89279ca1234fef88929c74caeda8cb55e
Author: Andrew MacLeod <amacl...@redhat.com>
Date:   Wed Jun 30 14:15:53 2021 -0400

    Fix build_gt and build_lt for signed 1 bit values.

    Signed 1 bit values have a range of [-1, 0] but neither (0 - 1) nor (-1 +
1)
    can be represented.  For signed values, add or subtract -1 as appropriate.

            PR tree-optimization/101223
            gcc/
            * range-op.cc (build_lt): Add -1 for signed values.
            (built_gt): Subtract -1 for signed values.

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