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

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

from 8cbaa09333d Fix spacing and typos in comments. new 02e9e5fb97a [Ada] Reject allocators in contexts restricted by SPARK new 1b96f017cd4 [Ada] AI12-0411 Add "bool" to Interfaces.C new f54fb769ec2 [Ada] Fix varsize node name conflict new 9e1ca4e3ab0 [Ada] Apply aliasing checks only to names and not to object [...] new 8863c3aa86c [Ada] Display Entity in debugging printouts new 1326b0e896e [Ada] Removal of technical debt new 419ad27a770 [Ada] Do not systematically suppress checks on atree.adb new 79495262f3d [Ada] Minor comment cleanup new 24c554da57b [Ada] Look at Others_Discrete_Choices for N_Others_Choice new a76825d6c1f [Ada] Clarify error for unsupported ELIMINATED overflow mode new 2be63603c6a [Ada] Provide new function Uintp.UI_To_Unsigned_64 new 54f039c9349 [Ada] Move runtime units for Put_Image attribute to libgnarl new f59ca9eee84 [Ada] Use source casing in messages for aliasing checks new f0cc08566e5 [Ada] Cleanup redundant conditions in checks for overlappin [...] new e50d50f0c23 [Ada] Remove dead code for overlapping actuals and prefix notation new 679124db5bc [Ada] Fix handling of generic types in check for overlappin [...] new a6d844cd860 [Ada] Check all pairs of actuals for overlapping new 3447d9e49e3 [Ada] Fix detection of slices that denote the same object new cad7431bd64 [Ada] Fix punctuation in documentation of warnings for alia [...] new 83a5b1df3da [Ada] Error in instance on incomplete actual passed to form [...] new 4476d934554 [Ada] Remove dubious wrapper of a recursive function new fc473ce74c6 [Ada] Don't check No_Wide_Characters restriction for illegal types new aeafd222d4c [Ada] Fix detection of valid renamings for overlapping checks new b4d46ee9a15 [Ada] Crash on a nested aggregate containing controlled objects new 5f900b589c8 [Ada] Missing finalization on nested expression with action new e1dfbb03f98 [Ada] Casing on composite values new 4892e31dace [Ada] Warn on 'in out' param containing access in predefine [...] new d32db3a7632 [Ada] Implementation of Inox feature of fixed lower bounds [...] new 59d5d8cdb95 [Ada] Fix operations on Unbounded_String... new 7ba8725fc35 [Ada] Crash on overriding of an abstract primitive on an in [...]

The 30 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/atree.adb | 25 +- gcc/ada/checks.adb | 96 +- .../doc/gnat_rm/implementation_defined_pragmas.rst | 86 ++ .../building_executable_programs_with_gnat.rst | 2 +- gcc/ada/einfo-utils.adb | 2 +- gcc/ada/einfo.ads | 10 + gcc/ada/exp_aggr.adb | 6 + gcc/ada/exp_ch3.adb | 7 +- gcc/ada/exp_ch4.adb | 22 +- gcc/ada/exp_ch5.adb | 412 +++++- gcc/ada/exp_ch6.adb | 7 + gcc/ada/exp_util.adb | 193 ++- gcc/ada/exp_util.ads | 6 + gcc/ada/gen_il-fields.ads | 4 + gcc/ada/gen_il-gen-gen_entities.adb | 2 + gcc/ada/gen_il-gen-gen_nodes.adb | 4 +- gcc/ada/gen_il-gen.adb | 8 +- gcc/ada/gen_il-internals.ads | 7 + gcc/ada/gnat_rm.texi | 91 ++ gcc/ada/gnat_ugn.texi | 2 +- gcc/ada/{libgnat => libgnarl}/s-putaim.adb | 0 gcc/ada/{libgnat => libgnarl}/s-putaim.ads | 0 gcc/ada/libgnat/a-strunb__shared.adb | 58 +- gcc/ada/libgnat/a-strunb__shared.ads | 10 +- gcc/ada/libgnat/g-rewdat.adb | 4 +- gcc/ada/libgnat/i-c.ads | 4 +- gcc/ada/libgnat/i-cexten.ads | 2 +- gcc/ada/libgnat/i-cexten__128.ads | 2 +- gcc/ada/libgnat/s-objrea.adb | 4 +- gcc/ada/par-ch3.adb | 207 ++- gcc/ada/par-ch4.adb | 77 +- gcc/ada/sem_aggr.adb | 14 +- gcc/ada/sem_attr.adb | 4 +- gcc/ada/sem_case.adb | 1522 ++++++++++++++++++++ gcc/ada/sem_case.ads | 6 + gcc/ada/sem_ch12.adb | 62 +- gcc/ada/sem_ch3.adb | 127 +- gcc/ada/sem_ch4.adb | 10 + gcc/ada/sem_ch5.adb | 57 +- gcc/ada/sem_ch6.adb | 47 +- gcc/ada/sem_ch7.adb | 2 +- gcc/ada/sem_ch8.adb | 42 +- gcc/ada/sem_prag.adb | 30 +- gcc/ada/sem_res.adb | 14 +- gcc/ada/sem_util.adb | 160 +- gcc/ada/sem_util.ads | 6 +- gcc/ada/sem_warn.adb | 259 ++-- gcc/ada/sinfo-cn.adb | 6 +- gcc/ada/sinfo-utils.adb | 4 +- gcc/ada/sinfo-utils.ads | 6 - gcc/ada/sinfo.ads | 14 +- gcc/ada/sprint.adb | 8 +- gcc/ada/switch-c.adb | 2 +- gcc/ada/treepr.adb | 176 ++- gcc/ada/uintp.adb | 44 +- gcc/ada/uintp.ads | 5 + 56 files changed, 3440 insertions(+), 547 deletions(-) rename gcc/ada/{libgnat => libgnarl}/s-putaim.adb (100%) rename gcc/ada/{libgnat => libgnarl}/s-putaim.ads (100%)