[Bug tree-optimization/101254] [12 Regression] gcc head does not comply fully to -fwrapv since r12-1723

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

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

--- Comment #12 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:a96d8d67d0073a7031c0712bc3fb7759417b2125

commit r12-1916-ga96d8d67d0073a7031c0712bc3fb7759417b2125
Author: Andrew MacLeod <amacl...@redhat.com>
Date:   Tue Jun 29 10:52:58 2021 -0400

    Fix MINUS_EXPR relations.

    Flesh out and correct relations for both wrapping and non-wrapping values.

            gcc/
            PR tree-optimization/101254
            * range-op.cc (operator_minus::op1_op2_relation_effect): Check for
            wrapping/non-wrapping when setting the result range.

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