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 bac63f1ea91 testsuite: Make AArch64 attributes_7.c generate unique repo [...] adds 8a8366d4969 [Ada] Ineffective use type clause warnings cause compile ti [...] adds 7427e673d81 [Ada] Remove redundant guard in checks for volatile actuals adds 74ce1d5a6cb [Ada] Accept effectively volatile components in actuals adds fa45988cc01 [Ada] Spurious access error in function returning type with [...] adds 9bea1bd335b [Ada] Fix typo on "that" adds 84f20139792 [Ada] Fix the Ada 2022 iterated component association RM reference adds cb50998584e [Ada] Remove obsolete uses of Unchecked_Deallocation from Ada 83 adds 83bacaa9b5d [Ada] Remove obsolete uses of Unchecked_Conversion from Ada 83 adds 0145570e892 [Ada] Fix compiler crash on FOR iteration scheme over container adds cf54619a8e3 [Ada] Document control flow redundancy adds 6a28d40dc4d [Ada] Improve expected type error messages adds fafccfbf77a [Ada] Crash in task body reference to discriminant adds 18e278727e1 [Ada] Wrong address for class-wide interface access conversion adds 85df62468c2 [Ada] Do not overwrite limited view of result type adds 9e5b1b076a5 [Ada] Fix code example on representation clause adds 3fe35ab093d [Ada] Facilitate proof of Overwrite in bounded strings library adds 7b6fa643ef0 [Ada] Handle IN iterator for class-wide derived object of i [...] adds b77029ff250 [Ada] Implement late initialization rules for type extensions adds 17a89d82142 [Ada] Take into account GNSA_ROOT env var for prefix adds 6d22fb118f5 [Ada] Ada ABI change when building with assertions adds 2e2f53d50c6 [Ada] Remove dependency on tampering checks and controlled [...] adds f8e12e78628 [Ada] Adapt body of formal sets and maps for SPARK adds 4c9a8183b34 [Ada] Simplify helper units for formal hashed sets/maps adds e3584606f5c [Ada] Fix iterated component association for array aggregate adds a2cff9e9af1 [Ada] CUDA: use binder to generate kernel-registration code adds 8150f295ec3 [Ada] Extend hardcfr testing (documentation) adds 78e26388edb [Ada] Only use alternate stack when needed adds d663778287d [Ada] Compiler crash on -gnata -O2 adds ba75fee24d9 [Ada] Storage_Model_Object fails to return object entity adds c77e4873b14 [Ada] Fix incorrect call to inherited function with limited [...] adds 7b844206ec5 Fix wrong SRA with VIEW_CONVERT_EXPR and reverse SSO adds d543bac1631 xtensa: Rename deprecated extv/extzv insn patterns to extvs [...] adds 112447f8564 xtensa: Reflect the 32-bit Integer Divide Option adds 485a0ae0982 arm: fix some issues in mve_vector_mem_operand adds 6a116728e27 arm: correctly handle misaligned MEMs on MVE [PR105463] adds 9a79854be0a Introduce tests for hardbool Machine_Attribute for Ada adds 6aaa1d57391 ada: gcc-if: build proper String_Pointer for Get_External_Name adds 04c0a88aabe Avoid visiting newly-created blocks in harden-conditionals adds 1f89e48789d libgomp nvptx plugin: Only consider '--with-cuda-driver=[.. [...] adds 9c3a8fe34ae libstdc++: Disable Doxygen GROUP_NESTED_COMPOUNDS config option adds 4163b0be816 libstdc++: Fix typo in doxygen @headerfile command adds e4905f11852 libstdc++: Add macros for the inline namespace std::_V2 adds 757146fb1c8 libstdc++: Improve doxygen docs for std::pointer_traits adds 20b917e7c00 libstdc++: Improve doxygen docs for <system_error> adds 1566ca0969a libstdc++: Improve doxygen docs for <atomic> adds 1b01963a4ea libstdc++: Improve doxygen docs for <regex> adds 171f41f124b libstdc++: Improve doxygen docs for std::allocator adds e61492549b9 libstdc++: Improve doxygen docs for algorithms and more adds c29c2a06047 libstdc++: Improve doxygen docs for <thread> and <future> adds a278402216e libstdc++: Improve doxygen docs for some of <memory> adds b584cbdb082 libstdc++: Improve doxygen docs for <mutex> new 6b156044c12 Make range_from_dom more effective. new 602a3161f42 Clear killing defs when resetting the path in path_oracle.
The 2 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference.
Summary of changes: gcc/ada/Makefile.rtl | 2 + gcc/ada/ali.adb | 23 +- gcc/ada/ali.ads | 30 + gcc/ada/aspects.adb | 4 +- gcc/ada/atree.adb | 24 +- gcc/ada/bindgen.adb | 141 ++++ gcc/ada/butil.adb | 4 +- gcc/ada/contracts.adb | 39 +- .../gnat_rm/representation_clauses_and_pragmas.rst | 6 +- .../doc/gnat_rm/security_hardening_features.rst | 87 ++- .../doc/gnat_ugn/gnat_and_program_execution.rst | 20 +- gcc/ada/exp_aggr.adb | 24 + gcc/ada/exp_attr.adb | 29 +- gcc/ada/exp_ch3.adb | 741 ++++++++++++++------- gcc/ada/exp_ch3.ads | 23 +- gcc/ada/exp_util.adb | 11 +- gcc/ada/freeze.adb | 144 ++-- gcc/ada/gcc-interface/decl.cc | 3 +- gcc/ada/gen_il-gen.adb | 6 +- gcc/ada/gnat_cuda.adb | 5 - gcc/ada/gnat_cuda.ads | 5 + gcc/ada/gnat_rm.texi | 146 ++-- gcc/ada/gnat_ugn.texi | 18 +- gcc/ada/lib-writ.adb | 49 ++ gcc/ada/libgnarl/a-reatim.adb | 4 +- gcc/ada/libgnarl/s-osinte__gnu.ads | 6 +- gcc/ada/libgnarl/s-osinte__kfreebsd-gnu.ads | 6 +- gcc/ada/libgnarl/s-taprop__linux.adb | 14 +- gcc/ada/libgnat/a-cfhama.adb | 53 +- gcc/ada/libgnat/a-cfhama.ads | 2 +- gcc/ada/libgnat/a-cfhase.adb | 210 +++--- gcc/ada/libgnat/a-cfhase.ads | 2 +- gcc/ada/libgnat/a-chtgfk.adb | 278 ++++++++ gcc/ada/libgnat/a-chtgfk.ads | 101 +++ gcc/ada/libgnat/a-chtgfo.adb | 481 +++++++++++++ gcc/ada/libgnat/a-chtgfo.ads | 138 ++++ gcc/ada/libgnat/a-coboho.adb | 4 +- gcc/ada/libgnat/a-cohata.ads | 19 + gcc/ada/libgnat/a-strbou.ads | 4 +- gcc/ada/libgnat/a-strsup.adb | 2 +- gcc/ada/libgnat/a-strsup.ads | 4 +- gcc/ada/libgnat/a-stuten.ads | 8 +- gcc/ada/libgnat/s-putima.adb | 4 +- gcc/ada/opt.ads | 6 + gcc/ada/osint.adb | 30 +- gcc/ada/osint.ads | 7 +- gcc/ada/sem.adb | 4 +- gcc/ada/sem_aggr.adb | 7 +- gcc/ada/sem_attr.adb | 22 + gcc/ada/sem_ch13.adb | 6 +- gcc/ada/sem_ch3.adb | 3 +- gcc/ada/sem_ch4.adb | 13 - gcc/ada/sem_ch5.adb | 15 +- gcc/ada/sem_ch6.adb | 69 +- gcc/ada/sem_ch8.adb | 29 +- gcc/ada/sem_res.adb | 9 +- gcc/ada/sem_util.adb | 97 ++- gcc/ada/sem_util.ads | 8 +- gcc/ada/set_targ.adb | 6 +- gcc/ada/sinput.adb | 22 +- gcc/ada/switch-b.adb | 3 + gcc/ada/switch-c.adb | 3 + gcc/ada/table.adb | 6 +- gcc/ada/treepr.adb | 17 +- gcc/ada/types.ads | 11 +- gcc/ada/xref_lib.adb | 5 +- gcc/config/arm/arm.cc | 19 +- gcc/config/arm/mve.md | 4 +- gcc/config/arm/vec-common.md | 90 ++- gcc/config/xtensa/xtensa.h | 5 + gcc/config/xtensa/xtensa.md | 16 +- gcc/gimple-harden-conditionals.cc | 417 ++++++------ gcc/gimple-range-cache.cc | 135 ++-- gcc/gimple-range-cache.h | 13 +- gcc/testsuite/gnat.dg/hardbool.adb | 46 ++ gcc/testsuite/gnat.dg/hardbool.ads | 22 + gcc/testsuite/gnat.dg/sso17.adb | 34 + gcc/tree-sra.cc | 47 +- gcc/value-relation.cc | 1 + libgomp/Makefile.in | 18 +- libgomp/plugin/Makefrag.am | 5 +- libstdc++-v3/doc/doxygen/user.cfg.in | 17 +- libstdc++-v3/include/backward/auto_ptr.h | 4 + libstdc++-v3/include/bits/algorithmfwd.h | 15 +- libstdc++-v3/include/bits/alloc_traits.h | 5 + libstdc++-v3/include/bits/allocator.h | 15 +- libstdc++-v3/include/bits/atomic_base.h | 39 +- libstdc++-v3/include/bits/c++config | 14 +- libstdc++-v3/include/bits/chrono.h | 4 +- libstdc++-v3/include/bits/mofunc_impl.h | 2 +- libstdc++-v3/include/bits/new_allocator.h | 19 +- libstdc++-v3/include/bits/ostream_insert.h | 4 + libstdc++-v3/include/bits/ptr_traits.h | 6 + libstdc++-v3/include/bits/regex.h | 60 +- libstdc++-v3/include/bits/regex_constants.h | 5 +- libstdc++-v3/include/bits/regex_error.h | 7 +- libstdc++-v3/include/bits/shared_ptr_atomic.h | 32 +- libstdc++-v3/include/bits/std_mutex.h | 21 +- libstdc++-v3/include/bits/std_thread.h | 33 +- libstdc++-v3/include/bits/stl_algo.h | 203 +++--- libstdc++-v3/include/bits/stl_numeric.h | 10 +- libstdc++-v3/include/bits/stl_pair.h | 4 + libstdc++-v3/include/bits/unique_lock.h | 2 + libstdc++-v3/include/bits/unique_ptr.h | 13 +- libstdc++-v3/include/ext/new_allocator.h | 12 +- libstdc++-v3/include/std/atomic | 11 +- libstdc++-v3/include/std/condition_variable | 4 +- libstdc++-v3/include/std/future | 29 +- libstdc++-v3/include/std/mutex | 38 +- libstdc++-v3/include/std/scoped_allocator | 1 - libstdc++-v3/include/std/system_error | 141 +++- libstdc++-v3/include/std/thread | 21 +- 112 files changed, 3732 insertions(+), 1253 deletions(-) create mode 100644 gcc/ada/libgnat/a-chtgfk.adb create mode 100644 gcc/ada/libgnat/a-chtgfk.ads create mode 100644 gcc/ada/libgnat/a-chtgfo.adb create mode 100644 gcc/ada/libgnat/a-chtgfo.ads create mode 100644 gcc/testsuite/gnat.dg/hardbool.adb create mode 100644 gcc/testsuite/gnat.dg/hardbool.ads create mode 100644 gcc/testsuite/gnat.dg/sso17.adb