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

unknown user pushed a change to branch devel/c++-coroutines in repository gcc.

from 0c3b139efb8 Merge master r12-2100. adds 0dbe0e11eb7 [Ada] Unsynchronized access to a Boolean in tasking state adds 738a0e8dd44 [Ada] Transient scope cleanup adds 6feab95cbcf [Ada] Simplify iteration over pending instantiations adds f8776eeb361 [Ada] Tune discovery of No_Elaboration_Code restriction adds f3ff72939e5 [Ada] Add socket options to control keepalive on TCP connection adds 05435609367 [Ada] Simplify handling of Generate_Code flag for compilati [...] adds 6dcf89443d7 [Ada] Replace chopped string copy with renaming adds d557a5f9cea [Ada] Fix precondition of Cot for code analyzers adds 19456797d1d [Ada] Linker_Section_Pragma cleanup adds 131c9affbde [Ada] Replace low-level membership tests with Is_Private_Type adds a7bb69067af [Ada] Simplify code by reusing List_Length adds f78c17d2672 [Ada] Reduce scope of local variables adds a7f66404a62 [Ada] Simplify handling of sure errors in GNATprove mode adds ebef9784ef6 [Ada] Unchecked_Convert_To: set Parent adds 4fa7097a140 [Ada] Timeout correction on Get_Socket_Option adds 2d71668e64c [Ada] Improve interactions between DSA and Put_Image routin [...] adds a547eea2669 [Ada] Fix bugs in Value_Size clauses and refactor adds d1d2bbcc858 [Ada] Replace obsolete calls that use global name buffer adds 768f69696a0 [Ada] Use bounded string buffer in Get_Unit_Name adds e5be1e443ce [Ada] Fix location of errors about volatile compatibility adds 14212dc422e [Ada] Implement new legality checks specified by AI12-0412 adds 347d939028d [Ada] Code cleanups in System.Atomic_Counters adds 9e76a063f11 [Ada] Minor code cleanup adds e1eb4441733 [Ada] Simplify code by reusing Remove on list of primitive [...] adds 29d3965161a [Ada] Optimize away certain elaboration checks adds 125bb16bece [Ada] Keepalive control on Windows adds 18b267aeeb1 [Ada] Front-end inlining and instantiations of UC adds cce46226b0b [Ada] Stronger assertion about flag for checking static exp [...] adds 2c03e97c5a5 [Ada] Assertion errors on concurrent types with -gnatc and [...] adds a5b5c7c2840 [Ada] Remove unused define adds 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]. adds 763121ccd90 ipa-sra: Fix thinko when overriding safe_to_import_accesses [...] new fa92aa7852c Merge master r12-2172.

The 1 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/ChangeLog | 40 +++ gcc/DATESTAMP | 2 +- gcc/ada/ChangeLog | 246 +++++++++++++++ gcc/ada/Makefile.rtl | 2 +- gcc/ada/checks.adb | 36 ++- gcc/ada/checks.ads | 4 +- gcc/ada/comperr.adb | 1 + gcc/ada/debug.adb | 8 +- gcc/ada/einfo-utils.adb | 69 ++--- gcc/ada/einfo-utils.ads | 29 +- gcc/ada/einfo.ads | 23 +- gcc/ada/exp_attr.adb | 14 +- gcc/ada/exp_ch11.adb | 83 +++-- gcc/ada/exp_ch3.adb | 4 +- gcc/ada/exp_ch4.adb | 13 +- gcc/ada/exp_ch6.adb | 90 ++---- gcc/ada/exp_ch6.ads | 7 +- gcc/ada/exp_ch7.adb | 4 +- gcc/ada/exp_ch9.adb | 28 +- gcc/ada/exp_dbug.adb | 11 +- gcc/ada/exp_disp.adb | 125 +++----- gcc/ada/exp_dist.adb | 26 +- gcc/ada/exp_imgv.adb | 11 +- gcc/ada/exp_pakd.adb | 8 +- gcc/ada/exp_prag.adb | 31 ++ gcc/ada/exp_util.adb | 8 +- gcc/ada/fe.h | 24 -- gcc/ada/freeze.adb | 22 +- gcc/ada/gcc-interface/decl.c | 24 +- gcc/ada/gcc-interface/system.ads | 4 + gcc/ada/gcc-interface/trans.c | 6 +- gcc/ada/gen_il-gen-gen_entities.adb | 5 +- gcc/ada/gnat1drv.adb | 23 -- gcc/ada/inline.adb | 14 +- gcc/ada/layout.adb | 87 ++++-- gcc/ada/layout.ads | 7 +- gcc/ada/lib-load.adb | 19 +- gcc/ada/lib-writ.adb | 15 +- gcc/ada/lib-writ.ads | 3 + gcc/ada/lib.ads | 4 +- gcc/ada/libgnarl/s-tassta.adb | 5 +- 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-ngelfu.ads | 2 +- gcc/ada/libgnat/a-textio.adb | 13 +- gcc/ada/libgnat/a-witeio.adb | 13 +- gcc/ada/libgnat/a-ztexio.adb | 13 +- gcc/ada/libgnat/g-debpoo.adb | 2 +- gcc/ada/libgnat/g-socket.adb | 46 ++- gcc/ada/libgnat/g-socket.ads | 46 ++- gcc/ada/libgnat/s-atocou.ads | 1 - gcc/ada/libgnat/s-atocou__builtin.adb | 20 +- 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 | 15 +- gcc/ada/par.adb | 8 +- gcc/ada/repinfo.adb | 6 +- gcc/ada/restrict.adb | 5 +- gcc/ada/rtsfind.adb | 8 + gcc/ada/rtsfind.ads | 11 + gcc/ada/s-oscons-tmplt.c | 24 +- gcc/ada/scng.adb | 20 +- gcc/ada/sem_attr.adb | 19 ++ gcc/ada/sem_cat.ads | 2 +- gcc/ada/sem_ch12.adb | 12 +- gcc/ada/sem_ch13.adb | 210 +++++++------ gcc/ada/sem_ch13.ads | 22 +- gcc/ada/sem_ch3.adb | 2 +- gcc/ada/sem_ch4.adb | 4 +- gcc/ada/sem_ch5.adb | 145 ++++++++- gcc/ada/sem_ch6.adb | 15 +- gcc/ada/sem_ch8.adb | 28 +- gcc/ada/sem_ch9.adb | 16 +- gcc/ada/sem_disp.adb | 67 ++-- gcc/ada/sem_eval.adb | 7 +- gcc/ada/sem_prag.adb | 8 +- gcc/ada/sem_res.adb | 25 +- gcc/ada/sem_util.adb | 157 ++++++---- gcc/ada/sem_util.ads | 28 +- ...xworks-target.inc => sigtramp-vxworks-target.h} | 2 +- gcc/ada/sigtramp-vxworks.c | 2 +- gcc/ada/sinfo.ads | 4 +- gcc/ada/sinput-l.adb | 24 +- gcc/ada/sprint.adb | 8 +- gcc/ada/style.adb | 4 + gcc/ada/tbuild.adb | 13 +- gcc/ada/tbuild.ads | 5 +- gcc/ada/uname.adb | 125 ++++---- 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-call.c | 3 +- gcc/config/rs6000/rs6000.md | 34 +++ gcc/cp/module.cc | 13 + gcc/gimple-array-bounds.cc | 336 +++------------------ gcc/ipa-sra.c | 15 +- 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/ipa/pr101066.c | 20 ++ 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 ++- 164 files changed, 3793 insertions(+), 1682 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.dg/ipa/pr101066.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