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

tcwg-buildslave pushed a change to branch linaro-local/ci/tcwg_gnu/gnu-master-aarch64-check_bootstrap in repository toolchain/ci/gcc.

from 6278065af07 rs6000: Harden mma_init_builtins adds a1108556677 Correct handling of variable offset minus constant in -Warr [...] adds 48e8a7a677b analyzer: remove add_any_constraints_from_ssa_def_stmt adds c24a9707822 Daily bump. adds 852b11da11a Generate 128-bit int divide/modulus on power10. adds 663a014e777 i386: Add pack/unpack patterns for 32bit vectors [PR100637] adds 4c619132b3f PR tree-optimization/40210: Fold (bswap(X)>>C1)&C2 to (X>>C [...] adds 298b0db76df match.pd: Relax rule to include POLY_INT_CSTs adds 2e9ef3929b0 vect: Remove always-true condition adds 999a2dd00d3 [Ada] Simplify string manipulation related to preprocessing adds 79a8b14237e [Ada] Avoid linear search when ensuring dependency on System adds 3cb32058b49 [Ada] Make tools compatible with No_Dynamic_Accessibility_Checks adds a2f91a52b4b [Ada] Revert meaning of -gnatd_b adds c5b1e8e9a58 [Ada] Make runtime code compatible with No_Dynamic_Accessib [...] adds b927d936e33 [Ada] Incorrect iteration over hashed containers after mult [...] adds 076c1a91574 [Ada] Add No_Tasking restriction is system.ads for bootstrap adds 5478d8a7aef [Ada] Unsynchronized concurrent access to a Boolean variable adds 36fcfed88c7 [Ada] Compute sizes when possible for packed array with Com [...] adds 242c0f4772c [Ada] Fix on computation of packed array size in case of error adds cd4341ef953 [Ada] Prevent crash on inspection point for unfrozen entity adds 6cb2bcba3f3 [Ada] Skip types in error for test to compute array size adds 6105ebb7827 [Ada] Fix use of single question mark in error message adds 62aae315f68 [Ada] Prevent infinite recursion when there is no expected unit adds 3711c2e5a06 [Ada] Fix style in comments and code related to compilation units adds df0783f81ca [Ada] Replace low-level condition with a high-level call adds e581fbeab69 [Ada] Restore context on failure in loading of renamed child unit adds e959418a07c [Ada] Remove redundant condition for listing compilation units adds 73f841cfca8 [Ada] Simplify redundant checks for non-empty lists adds a9c3a497501 [Ada] Fix violation of No_Implicit_Loops restriction for en [...] adds 629c82d729f [Ada] Spurious warning in generic instance adds 3c18e32037a [Ada] AI12-0156 Use subtype indication in generalized iterators adds 99d6c1f8c29 [Ada] Spurious style message on missing overriding indicator adds d75dde1a723 [Ada] Duplicated D lines in ali files adds 6e8b502cb6c [Ada] Rename sigtramp-vxworks-target.inc to sigtramp-vxwork [...] adds 7c092960f0d [Ada] Transient scope cleanup adds 4d743233ad2 [Ada] Use encoded names only with -fgnat-encodings=all adds 8de68eb37c7 [Ada] Remove Unknown_ functions adds d45ee636a84 [Ada] Diagnose properly illegal uses of Target_Name adds 43931c97820 [Ada] Tune detection of illegal occurrences of target_name adds 1ca642d785c testsuite: Add arm_arch_v7a_ok effective-target to pr57351.c adds 9bf9f27ac6d Use Object Size Type zero for -Warray-bounds [PR101374].

No new revisions were added by this update.

Summary of changes: gcc/ChangeLog | 40 +++ gcc/DATESTAMP | 2 +- gcc/ada/ChangeLog | 246 +++++++++++++++ gcc/ada/Makefile.rtl | 2 +- gcc/ada/checks.ads | 2 +- gcc/ada/comperr.adb | 1 + gcc/ada/debug.adb | 8 +- gcc/ada/einfo-utils.adb | 40 --- gcc/ada/einfo-utils.ads | 29 +- gcc/ada/exp_ch11.adb | 83 +++-- gcc/ada/exp_ch4.adb | 3 + gcc/ada/exp_ch6.adb | 25 +- gcc/ada/exp_ch6.ads | 7 +- gcc/ada/exp_ch7.adb | 4 +- gcc/ada/exp_dbug.adb | 11 +- gcc/ada/exp_imgv.adb | 11 +- gcc/ada/exp_pakd.adb | 8 +- gcc/ada/exp_prag.adb | 31 ++ gcc/ada/exp_util.adb | 4 +- gcc/ada/fe.h | 24 -- gcc/ada/freeze.adb | 10 +- gcc/ada/gcc-interface/decl.c | 24 +- gcc/ada/gcc-interface/system.ads | 4 + gcc/ada/gcc-interface/trans.c | 6 +- gcc/ada/layout.adb | 77 ++++- gcc/ada/lib-load.adb | 8 +- gcc/ada/lib-writ.adb | 12 +- gcc/ada/lib-writ.ads | 3 + gcc/ada/lib.ads | 4 +- gcc/ada/libgnat/a-cbdlli.adb | 4 +- gcc/ada/libgnat/a-cbhama.adb | 8 +- gcc/ada/libgnat/a-cbhase.adb | 4 +- gcc/ada/libgnat/a-cbmutr.adb | 4 +- gcc/ada/libgnat/a-cborma.adb | 8 +- gcc/ada/libgnat/a-cborse.adb | 8 +- gcc/ada/libgnat/a-cobove.adb | 8 +- gcc/ada/libgnat/a-cohama.adb | 14 +- gcc/ada/libgnat/a-cohama.ads | 8 + gcc/ada/libgnat/a-cohase.adb | 14 +- gcc/ada/libgnat/a-cohase.ads | 9 + gcc/ada/libgnat/a-textio.adb | 13 +- gcc/ada/libgnat/a-witeio.adb | 13 +- gcc/ada/libgnat/a-ztexio.adb | 13 +- gcc/ada/make.adb | 9 +- gcc/ada/osint.adb | 5 +- gcc/ada/par-ch10.adb | 26 +- gcc/ada/par-ch5.adb | 12 +- gcc/ada/par-load.adb | 9 +- gcc/ada/repinfo.adb | 6 +- gcc/ada/rtsfind.adb | 8 + gcc/ada/rtsfind.ads | 11 + gcc/ada/scng.adb | 20 +- gcc/ada/sem_ch12.adb | 1 - gcc/ada/sem_ch13.adb | 2 +- gcc/ada/sem_ch3.adb | 2 +- gcc/ada/sem_ch4.adb | 4 +- gcc/ada/sem_ch5.adb | 145 ++++++++- gcc/ada/sem_ch6.adb | 1 - gcc/ada/sem_ch9.adb | 4 +- gcc/ada/sem_res.adb | 3 +- gcc/ada/sem_util.adb | 81 ++--- gcc/ada/sem_util.ads | 16 +- ...xworks-target.inc => sigtramp-vxworks-target.h} | 2 +- gcc/ada/sigtramp-vxworks.c | 2 +- gcc/ada/sinput-l.adb | 24 +- gcc/ada/sprint.adb | 8 +- gcc/ada/style.adb | 4 + gcc/analyzer/ChangeLog | 61 ++++ gcc/analyzer/diagnostic-manager.cc | 35 +++ gcc/analyzer/engine.cc | 54 +++- gcc/analyzer/exploded-graph.h | 4 +- gcc/analyzer/region-model.cc | 304 ++++++++++--------- gcc/analyzer/region-model.h | 29 +- gcc/analyzer/sm-file.cc | 15 +- gcc/analyzer/sm-malloc.cc | 10 +- gcc/analyzer/sm-pattern-test.cc | 24 +- gcc/analyzer/sm-sensitive.cc | 18 -- gcc/analyzer/sm-signal.cc | 21 -- gcc/analyzer/sm-taint.cc | 8 +- gcc/analyzer/sm.cc | 14 + gcc/analyzer/sm.h | 34 ++- gcc/analyzer/svalue.cc | 24 +- gcc/analyzer/svalue.h | 6 +- gcc/builtins.c | 69 ++++- gcc/builtins.h | 5 + gcc/config/i386/i386-expand.c | 18 ++ gcc/config/i386/i386.h | 4 +- gcc/config/i386/mmx.md | 100 +++++- gcc/config/rs6000/rs6000.md | 34 +++ gcc/cp/module.cc | 13 + gcc/gimple-array-bounds.cc | 336 +++------------------ gcc/match.pd | 70 ++++- gcc/testsuite/ChangeLog | 62 ++++ gcc/testsuite/c-c++-common/Warray-bounds-10.c | 114 +++++++ gcc/testsuite/c-c++-common/Warray-bounds-3.c | 4 +- gcc/testsuite/c-c++-common/Warray-bounds-4.c | 12 +- gcc/testsuite/c-c++-common/Warray-bounds-9.c | 144 +++++++++ gcc/testsuite/g++.dg/asan/asan_test.C | 2 +- gcc/testsuite/g++.dg/pr95768.C | 2 +- gcc/testsuite/g++.dg/warn/Warray-bounds-10.C | 4 +- gcc/testsuite/g++.dg/warn/Warray-bounds-11.C | 4 +- gcc/testsuite/g++.dg/warn/Warray-bounds-12.C | 4 +- gcc/testsuite/g++.dg/warn/Warray-bounds-13.C | 4 +- gcc/testsuite/g++.dg/warn/Warray-bounds-17.C | 2 +- gcc/testsuite/g++.dg/warn/Warray-bounds-20.C | 8 +- gcc/testsuite/gcc.dg/Warray-bounds-29.c | 22 +- gcc/testsuite/gcc.dg/Warray-bounds-30.c | 2 +- gcc/testsuite/gcc.dg/Warray-bounds-31.c | 8 +- gcc/testsuite/gcc.dg/Warray-bounds-32.c | 26 +- gcc/testsuite/gcc.dg/Warray-bounds-52.c | 6 +- gcc/testsuite/gcc.dg/Warray-bounds-53.c | 6 +- gcc/testsuite/gcc.dg/Warray-bounds-58.c | 2 +- gcc/testsuite/gcc.dg/Warray-bounds-63.c | 6 +- gcc/testsuite/gcc.dg/Warray-bounds-66.c | 12 +- gcc/testsuite/gcc.dg/Warray-bounds-69.c | 2 +- gcc/testsuite/gcc.dg/Warray-bounds-77.c | 135 +++++++++ gcc/testsuite/gcc.dg/Warray-bounds-78.c | 109 +++++++ gcc/testsuite/gcc.dg/Warray-bounds-79.c | 112 +++++++ gcc/testsuite/gcc.dg/Wstringop-overflow-34.c | 8 +- gcc/testsuite/gcc.dg/Wstringop-overflow-47.c | 14 +- gcc/testsuite/gcc.dg/Wstringop-overflow-61.c | 4 +- gcc/testsuite/gcc.dg/analyzer/pattern-test-2.c | 10 +- gcc/testsuite/gcc.dg/builtin-bswap-13.c | 329 ++++++++++++++++++++ gcc/testsuite/gcc.dg/builtin-bswap-14.c | 302 ++++++++++++++++++ gcc/testsuite/gcc.dg/debug/pr57351.c | 1 + gcc/testsuite/gcc.dg/plugin/analyzer_gil_plugin.c | 21 -- .../gcc.target/aarch64/sve/acle/general/cntb_1.c | 14 + gcc/testsuite/gcc.target/powerpc/p10-vdivq-vmodq.c | 27 ++ gcc/tree-vect-loop.c | 50 ++- 129 files changed, 3105 insertions(+), 1061 deletions(-) rename gcc/ada/{sigtramp-vxworks-target.inc => sigtramp-vxworks-target.h} (99%) create mode 100644 gcc/testsuite/c-c++-common/Warray-bounds-10.c create mode 100644 gcc/testsuite/c-c++-common/Warray-bounds-9.c create mode 100644 gcc/testsuite/gcc.dg/Warray-bounds-77.c create mode 100644 gcc/testsuite/gcc.dg/Warray-bounds-78.c create mode 100644 gcc/testsuite/gcc.dg/Warray-bounds-79.c create mode 100644 gcc/testsuite/gcc.dg/builtin-bswap-13.c create mode 100644 gcc/testsuite/gcc.dg/builtin-bswap-14.c create mode 100644 gcc/testsuite/gcc.target/aarch64/sve/acle/general/cntb_1.c create mode 100644 gcc/testsuite/gcc.target/powerpc/p10-vdivq-vmodq.c