This is an automated email from the git hooks/post-receive script.

unknown user pushed a change to branch master in repository gcc.

from 3de031c96f2 PR modula2/113559 FIO.mod lseek requires cssize_t rather th [...] new b6e537571c2 analyzer kernel plugin: implement __check_object_size [PR112927] new e503f9aca91 analyzer: fix taint false +ve due to overzealous state purg [...]

The 2 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference.

Summary of changes: gcc/analyzer/engine.cc | 2 +- gcc/analyzer/program-state.cc | 65 +++++++++++++++++++++- gcc/analyzer/program-state.h | 1 + gcc/analyzer/sm-taint.cc | 9 +++ gcc/analyzer/sm.h | 6 ++ .../gcc.dg/plugin/analyzer_kernel_plugin.c | 18 ++++++ gcc/testsuite/gcc.dg/plugin/plugin.exp | 4 +- gcc/testsuite/gcc.dg/plugin/taint-pr112927.c | 49 ++++++++++++++++ gcc/testsuite/gcc.dg/plugin/taint-pr112977.c | 44 +++++++++++++++ 9 files changed, 194 insertions(+), 4 deletions(-) create mode 100644 gcc/testsuite/gcc.dg/plugin/taint-pr112927.c create mode 100644 gcc/testsuite/gcc.dg/plugin/taint-pr112977.c