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 a30a2e43e4a libstdc++: Implement std::spanstream for C++23 adds 86289a4ff47 libsanitizer: Merge with upstream adds 55b43a22ab9 libsanitizer: Apply local patches adds 380fc3b69f6 libsanitizer: Update LOCAL_PATCHES adds 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
No new revisions were added by this update.
Summary of changes: 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-range-path.cc | 42 +- gcc/gimple-range-path.h | 3 + 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/testsuite/gcc.dg/pr103222.c | 33 + gcc/tree-ssa-structalias.c | 4 +- libsanitizer/LOCAL_PATCHES | 2 +- libsanitizer/MERGE | 2 +- libsanitizer/asan/asan_allocator.cpp | 17 +- libsanitizer/asan/asan_malloc_linux.cpp | 115 +-- libsanitizer/hwasan/hwasan.cpp | 2 +- .../hwasan/hwasan_allocation_functions.cpp | 59 +- libsanitizer/hwasan/hwasan_exceptions.cpp | 4 +- libsanitizer/hwasan/hwasan_fuchsia.cpp | 2 +- libsanitizer/hwasan/hwasan_linux.cpp | 2 +- libsanitizer/hwasan/hwasan_thread.cpp | 22 +- libsanitizer/hwasan/hwasan_thread.h | 10 +- libsanitizer/lsan/lsan_common.cpp | 31 +- libsanitizer/lsan/lsan_common.h | 9 +- libsanitizer/lsan/lsan_common_mac.cpp | 2 +- libsanitizer/lsan/lsan_interceptors.cpp | 44 +- .../sanitizer_common/sanitizer_addrhashmap.h | 38 + .../sanitizer_allocator_combined.h | 6 +- .../sanitizer_common/sanitizer_allocator_dlsym.h | 79 ++ .../sanitizer_allocator_primary32.h | 6 +- .../sanitizer_allocator_secondary.h | 8 +- .../sanitizer_common/sanitizer_deadlock_detector.h | 2 +- libsanitizer/sanitizer_common/sanitizer_linux.cpp | 48 +- libsanitizer/sanitizer_common/sanitizer_linux.h | 12 +- libsanitizer/sanitizer_common/sanitizer_mac.cpp | 3 + .../sanitizer_common/sanitizer_malloc_mac.inc | 20 +- .../sanitizer_platform_interceptors.h | 6 +- libsanitizer/sanitizer_common/sanitizer_procmaps.h | 18 +- libsanitizer/tsan/tsan_interceptors_posix.cpp | 38 +- libsanitizer/tsan/tsan_rtl.cpp | 6 +- libsanitizer/tsan/tsan_rtl.h | 2 +- libsanitizer/tsan/tsan_rtl_amd64.S | 74 ++ 63 files changed, 2571 insertions(+), 987 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 create mode 100644 gcc/testsuite/gcc.dg/pr103222.c create mode 100644 libsanitizer/sanitizer_common/sanitizer_allocator_dlsym.h