analyzer: fix duplicates in check_for_tainted_size_arg
authorDavid Malcolm <dmalcolm@redhat.com>
Thu, 10 Mar 2022 14:02:18 +0000 (09:02 -0500)
committerDavid Malcolm <dmalcolm@redhat.com>
Thu, 10 Mar 2022 14:02:18 +0000 (09:02 -0500)
commit708646de75cba2e3855bde09d21816ca66239a67
tree521137d1abc7f4e40e522293583e5e1fc8109077
parente671e48e352ee278d816d4633146208807a0e403
analyzer: fix duplicates in check_for_tainted_size_arg

gcc/analyzer/ChangeLog:
* sm-taint.cc (taint_state_machine::check_for_tainted_size_arg):
Avoid generating duplicate saved_diagnostics by only handling the
rdwr_map entry for the ptrarg, not the duplicate entry for the
sizarg.

gcc/testsuite/ChangeLog:
* gcc.dg/analyzer/taint-size-access-attr-1.c: Add
-fanalyzer-show-duplicate-count to options; verify that a
duplicate was not created for the tainted size.

Signed-off-by: David Malcolm <dmalcolm@redhat.com>
gcc/analyzer/sm-taint.cc
gcc/testsuite/gcc.dg/analyzer/taint-size-access-attr-1.c