[Bug tree-optimization/106990] Missing TYPE_OVERFLOW_SANITIZED checks in match.pd

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

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

--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jakub Jelinek <ja...@gcc.gnu.org>:

https://gcc.gnu.org/g:07cc4c1da1046f0ffda241d59df796417c122ff5

commit r13-3373-g07cc4c1da1046f0ffda241d59df796417c122ff5
Author: Jakub Jelinek <ja...@redhat.com>
Date:   Wed Oct 19 11:28:42 2022 +0200

    match.pd: Add 2 TYPE_OVERFLOW_SANITIZED checks [PR106990]

    As requested in the PR, this adds 2 TYPE_OVERFLOW_SANITIZED checks
    and corresponding testcase.

    2022-10-19  Jakub Jelinek  <ja...@redhat.com>

            PR tree-optimization/106990
            * match.pd ((~X - ~Y) -> Y - X, -x & 1 -> x & 1): Guard with
            !TYPE_OVERFLOW_SANITIZED (type).

            * c-c++-common/ubsan/pr106990.c: New test.