This is an automated email from the git hooks/post-receive script.
tcwg-buildslave pushed a change to branch linaro-local/ci/tcwg_gnu_cross_check_gcc/master-arm in repository toolchain/ci/gcc.
from 0c016888ffd [PR104961] LRA: split hard reg for reload pseudo with clobber. adds 1c1daca1cdf analyzer: add tests of boxed values [PR104943] adds faacafd2306 analyzer: extend state-purging to locals [PR104943] adds 8ca61ad148f Daily bump.
No new revisions were added by this update.
Summary of changes: c++tools/ChangeLog | 4 + gcc/ChangeLog | 47 ++ gcc/DATESTAMP | 2 +- gcc/analyzer/ChangeLog | 89 +++ gcc/analyzer/analyzer.h | 1 + gcc/analyzer/engine.cc | 2 +- gcc/analyzer/program-point.cc | 40 ++ gcc/analyzer/program-point.h | 4 + gcc/analyzer/program-state.cc | 129 +++-- gcc/analyzer/program-state.h | 3 + gcc/analyzer/region-model.cc | 22 +- gcc/analyzer/region-model.h | 9 +- gcc/analyzer/state-purge.cc | 607 ++++++++++++++++++++- gcc/analyzer/state-purge.h | 110 +++- gcc/cp/ChangeLog | 36 ++ gcc/fortran/ChangeLog | 12 + gcc/testsuite/ChangeLog | 81 +++ gcc/testsuite/gcc.dg/analyzer/boxed-malloc-1-29.c | 36 ++ gcc/testsuite/gcc.dg/analyzer/boxed-malloc-1.c | 476 ++++++++++++++++ gcc/testsuite/gcc.dg/analyzer/taint-alloc-5.c | 21 + .../gcc.dg/analyzer/torture/boxed-int-1.c | 170 ++++++ .../gcc.dg/analyzer/torture/boxed-ptr-1.c | 78 +++ libcody/ChangeLog | 5 + libgomp/ChangeLog | 16 + libstdc++-v3/ChangeLog | 77 +++ 25 files changed, 2000 insertions(+), 77 deletions(-) create mode 100644 gcc/testsuite/gcc.dg/analyzer/boxed-malloc-1-29.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/boxed-malloc-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/taint-alloc-5.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/torture/boxed-int-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/torture/boxed-ptr-1.c