This is an automated email from the git hooks/post-receive script.
tcwg-buildslave pushed a change to branch linaro-local/ci/tcwg_gcc_bootstrap/master-aarch64-bootstrap in repository toolchain/ci/gcc.
from b7a23949b0d path solver: Compute all PHI ranges simultaneously. adds e2dd12ab66d Remember fnspec based EAF flags in modref summary. adds b9365b93212 analyzer: add four new taint-based warnings adds 2af63f0f53a Whitelity type attributes for function signature change adds e0040bc3d97 Add finalize method to modref summary. adds a246d7230b8 modref_access_node cleanup adds 04c5a91d068 fixincludes: simplify handling for access() failure [PR2128 [...] adds af47f22fd57 Fix checking disabled build.
No new revisions were added by this update.
Summary of changes: fixincludes/fixincl.c | 9 +- gcc/analyzer/analyzer.opt | 16 + gcc/analyzer/engine.cc | 18 + gcc/analyzer/exploded-graph.h | 3 + gcc/analyzer/program-state.cc | 26 +- gcc/analyzer/region-model-impl-calls.cc | 15 +- gcc/analyzer/region-model.cc | 47 +- gcc/analyzer/region-model.h | 27 +- gcc/analyzer/sm-taint.cc | 826 ++++++++++++++++++--- gcc/analyzer/sm.h | 9 + gcc/attr-fnspec.h | 23 + gcc/doc/invoke.texi | 66 +- gcc/gimple.c | 17 +- gcc/ipa-fnsummary.c | 4 +- gcc/ipa-modref-tree.c | 535 +++++++++++++ gcc/ipa-modref-tree.h | 542 +------------- gcc/ipa-modref.c | 100 +-- gcc/ipa-modref.h | 11 +- gcc/ipa-param-manipulation.c | 43 +- gcc/ipa-param-manipulation.h | 1 + gcc/testsuite/gcc.dg/analyzer/pr93382.c | 2 +- gcc/testsuite/gcc.dg/analyzer/taint-alloc-1.c | 64 ++ gcc/testsuite/gcc.dg/analyzer/taint-alloc-2.c | 27 + gcc/testsuite/gcc.dg/analyzer/taint-divisor-1.c | 26 + .../analyzer/{taint-1.c => taint-read-index-1.c} | 19 +- .../gcc.dg/analyzer/taint-read-offset-1.c | 128 ++++ gcc/testsuite/gcc.dg/analyzer/taint-size-1.c | 32 + .../analyzer/{taint-1.c => taint-write-index-1.c} | 28 +- .../gcc.dg/analyzer/taint-write-offset-1.c | 132 ++++ gcc/tree-ssa-structalias.c | 4 +- 30 files changed, 2066 insertions(+), 734 deletions(-) create mode 100644 gcc/testsuite/gcc.dg/analyzer/taint-alloc-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/taint-alloc-2.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/taint-divisor-1.c copy gcc/testsuite/gcc.dg/analyzer/{taint-1.c => taint-read-index-1.c} (72%) create mode 100644 gcc/testsuite/gcc.dg/analyzer/taint-read-offset-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/taint-size-1.c rename gcc/testsuite/gcc.dg/analyzer/{taint-1.c => taint-write-index-1.c} (64%) create mode 100644 gcc/testsuite/gcc.dg/analyzer/taint-write-offset-1.c