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

unknown user pushed a change to branch master in repository gcc.

from d3a21558fda x86: correct and improve "*vec_dupv2di" new 869216ec14b ada: Fix edge case in Ada.Calendar.Formatting.Time_Of new 862f84b4a36 ada: Spurious error on package instantiation new b1c3d01619e ada: Remove references to Might_Not_Return and Always_Return new 2071134b54a ada: Pass Error_Node to calls to Error_Msg in lib-load.adb new ca27b8a0307 ada: Fix type derivation of subtype of derived type new adc853f0661 ada: Update annotations in runtime for proof new 298a486c581 ada: Introduce -gnateH switch to force reverse Bit_Order th [...] new 3404e481d09 ada: Fix -fdiagnostics-format=json not printing all messages new d22792bc24f ada: Fix internal error on aggregate within container aggregate new ccacd752a4a ada: Small fixes to handling of private views in instances new b9b1dcc8414 ada: Add CHERI intrinsic bindings and helper functions. new d39664b659f ada: Fix fallout of fix to handling of private views in instances new 970ee828e75 ada: Fix bug in predicate checks with address clauses new 86f03e37d6e ada: Fix for quantified expressions in Exceptional_Cases new 0aca9f500e7 ada: Document partition-wide Ada signal handlers new b367a66cfb6 ada: Fix for attribute Range in Exceptional_Cases new f1c15fe3f05 ada: Add the ability to add error codes to error messages new 8912b95779d ada: Do not issue warning on postcondition in some cases new eb5c593cab9 ada: Fix couple of issues in documentation of overflow checking

The 19 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/contracts.adb | 5 +- .../building_executable_programs_with_gnat.rst | 8 + .../doc/gnat_ugn/gnat_and_program_execution.rst | 23 +- .../doc/gnat_ugn/the_gnat_compilation_model.rst | 47 ++ gcc/ada/einfo.ads | 2 +- gcc/ada/err_vars.ads | 5 + gcc/ada/errout.adb | 69 +- gcc/ada/errout.ads | 24 + gcc/ada/erroutc.adb | 46 ++ gcc/ada/erroutc.ads | 10 + gcc/ada/exp_aggr.adb | 16 +- gcc/ada/exp_ch7.adb | 24 +- gcc/ada/exp_util.ads | 7 - gcc/ada/gnat_ugn.texi | 714 +++++++++++---------- gcc/ada/lib-load.adb | 31 +- gcc/ada/libgnarl/a-reatim.ads | 4 +- gcc/ada/libgnat/a-calfor.adb | 31 +- gcc/ada/libgnat/a-chahan.ads | 7 +- gcc/ada/libgnat/a-nbnbig.ads | 4 +- gcc/ada/libgnat/a-nbnbin.ads | 6 +- gcc/ada/libgnat/a-nbnbre.ads | 6 +- gcc/ada/libgnat/a-ngelfu.ads | 4 +- gcc/ada/libgnat/a-nlelfu.ads | 1 - gcc/ada/libgnat/a-nllefu.ads | 1 - gcc/ada/libgnat/a-nselfu.ads | 1 - gcc/ada/libgnat/a-nuelfu.ads | 1 - gcc/ada/libgnat/a-strbou.ads | 10 +- gcc/ada/libgnat/a-strfix.ads | 169 ++--- gcc/ada/libgnat/a-strmap.ads | 7 +- gcc/ada/libgnat/a-strsea.ads | 6 +- gcc/ada/libgnat/a-strsup.ads | 6 +- gcc/ada/libgnat/a-strunb.ads | 4 +- gcc/ada/libgnat/a-strunb__shared.ads | 4 +- gcc/ada/libgnat/a-textio.ads | 300 ++++----- gcc/ada/libgnat/a-tideio.ads | 36 +- gcc/ada/libgnat/a-tienio.ads | 39 +- gcc/ada/libgnat/a-tifiio.ads | 39 +- gcc/ada/libgnat/a-tiflio.ads | 39 +- gcc/ada/libgnat/a-tiinio.ads | 38 +- gcc/ada/libgnat/a-timoio.ads | 38 +- gcc/ada/libgnat/g-souinf.ads | 2 +- gcc/ada/libgnat/i-c.ads | 7 +- gcc/ada/libgnat/{s-wchcon.adb => i-cheri.adb} | 75 +-- gcc/ada/libgnat/i-cheri.ads | 470 ++++++++++++++ gcc/ada/libgnat/i-cstrin.ads | 29 +- gcc/ada/libgnat/interfac.ads | 5 +- gcc/ada/libgnat/interfac__2020.ads | 5 +- gcc/ada/libgnat/s-aridou.adb | 21 +- gcc/ada/libgnat/s-arit32.adb | 10 +- gcc/ada/libgnat/s-atacco.ads | 6 +- gcc/ada/libgnat/s-spcuop.ads | 2 +- gcc/ada/libgnat/s-stoele.ads | 6 +- gcc/ada/libgnat/s-vaispe.ads | 2 +- gcc/ada/libgnat/s-valuti.adb | 2 + gcc/ada/libgnat/s-valuti.ads | 3 +- gcc/ada/libgnat/s-vauspe.ads | 2 +- gcc/ada/opt.ads | 5 + gcc/ada/sem_ch12.adb | 141 ++-- gcc/ada/sem_ch13.adb | 4 +- gcc/ada/sem_ch3.adb | 56 +- gcc/ada/sem_ch4.adb | 247 ++++--- gcc/ada/sem_elab.adb | 3 +- gcc/ada/sem_prag.adb | 5 +- gcc/ada/sem_res.adb | 25 +- gcc/ada/sem_util.adb | 32 + gcc/ada/switch-c.adb | 6 + gcc/ada/usage.adb | 5 + 67 files changed, 1874 insertions(+), 1134 deletions(-) copy gcc/ada/libgnat/{s-wchcon.adb => i-cheri.adb} (59%) create mode 100644 gcc/ada/libgnat/i-cheri.ads