diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2022-07-20 17:25:35 -0400 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2022-07-20 17:25:35 -0400 |
| commit | 5e830693dd335621940368b6d39b23afc2c98545 (patch) | |
| tree | 49b7ba4fee1d65b5600b5ed096e91313efa8d456 /gcc/graphds.cc | |
| parent | 26bbe78f77f73bb66af1ac13d0deec888a3c6510 (diff) | |
| download | gcc-5e830693dd335621940368b6d39b23afc2c98545.zip gcc-5e830693dd335621940368b6d39b23afc2c98545.tar.gz gcc-5e830693dd335621940368b6d39b23afc2c98545.tar.bz2 | |
analyzer: update "tainted" state of RHS in comparisons [PR106373]
Doing so fixes various false positives from
-Wanalyzer-tainted-array-index at -O1 and above (e.g. seen on the
Linux kernel)
gcc/analyzer/ChangeLog:
PR analyzer/106373
* sm-taint.cc (taint_state_machine::on_condition): Potentially
update the state of the RHS as well as the LHS.
gcc/testsuite/ChangeLog:
PR analyzer/106373
* gcc.dg/analyzer/torture/taint-read-index-3.c: New test.
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
Diffstat (limited to 'gcc/graphds.cc')
0 files changed, 0 insertions, 0 deletions