]> git.ipfire.org Git - people/ms/gcc.git/commit
projects / people / ms / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ba281da) | patch
match.pd: Add 2 TYPE_OVERFLOW_SANITIZED checks [PR106990]
authorJakub Jelinek <jakub@redhat.com>
Wed, 19 Oct 2022 09:28:42 +0000 (11:28 +0200)
committerJakub Jelinek <jakub@redhat.com>
Wed, 19 Oct 2022 09:28:42 +0000 (11:28 +0200)
commit07cc4c1da1046f0ffda241d59df796417c122ff5
treef7b7a3344104fcc6fee5defb8058dfb014ed351etree | snapshot
parentba281da28d34f9a78a07f6ee56ad2c754447966ecommit | diff
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  <jakub@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.
gcc/match.pd diff | blob | blame | history
gcc/testsuite/c-c++-common/ubsan/pr106990.c [new file with mode: 0644] blob
Michael's GCC tree