This is an automated email from the git hooks/post-receive script.
tcwg-buildslave pushed a change to branch linaro-local/ci/tcwg_gcc_check/master-aarch64 in repository toolchain/ci/gcc.
from eabf8cad2ba tree: Add comment. adds 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]
No new revisions were added by this update.
Summary of changes: 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/lra-assigns.cc | 33 +- 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 +++ gcc/testsuite/gcc.target/i386/pr104961.c | 15 + 17 files changed, 1666 insertions(+), 90 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 create mode 100644 gcc/testsuite/gcc.target/i386/pr104961.c