]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 08262e7) | patch
analyzer: avoid taint for (TAINTED % NON_TAINTED)
authorDavid Malcolm <dmalcolm@redhat.com>
Fri, 8 Dec 2023 20:59:48 +0000 (15:59 -0500)
committerDavid Malcolm <dmalcolm@redhat.com>
Fri, 8 Dec 2023 20:59:48 +0000 (15:59 -0500)
commit0bef72539e585d13941987369cf34726a7ac5b2e
tree7e554d3f1a7c7858d08f2dfe23a4c7757daddc67tree
parent08262e78209ed4a69f309b6fdf79e7c0be0c6793commit | diff
analyzer: avoid taint for (TAINTED % NON_TAINTED)

gcc/analyzer/ChangeLog:
* sm-taint.cc (taint_state_machine::alt_get_inherited_state): Fix
handling of TRUNC_MOD_EXPR.

gcc/testsuite/ChangeLog:
* c-c++-common/analyzer/taint-modulus-1.c: New test.

Signed-off-by: David Malcolm <dmalcolm@redhat.com>
gcc/analyzer/sm-taint.cc diff | blob | blame | history
gcc/testsuite/c-c++-common/analyzer/taint-modulus-1.c [new file with mode: 0644] blob
Mirror of https://gcc.gnu.org/git/gcc.git