This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch master in repository gcc.
from f9272649359 ipa: Introduce a one jump function dumping function new 53133d07901 ada: Fix internal error on misplaced iterated component ass [...] new c3db7e37a74 ada: Fix outdated description in System.Arith_* units new 8d25e228915 ada: Fix spurious warning on representation clause for priv [...] new 3e4146b6934 ada: Another small fix to the description of run-time libra [...] new f62972f5cab ada: Adapt proofs of light runtime to current version of SPARK new 35d36903dc6 ada: Tweak test for predefined units in binder new 29112f5e1b2 ada: Improved legality checking for deep delta aggregates. new 01413da3b0c ada: Avoid doing unnecessary work in elaborate_expression_2
The 8 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/bindgen.adb | 7 +- gcc/ada/gcc-interface/decl.cc | 33 +++++-- gcc/ada/libgnat/a-strmap.adb | 3 +- gcc/ada/libgnat/a-strsup.adb | 2 + gcc/ada/libgnat/s-aridou.adb | 218 +++++++++++++++++++++++++++++------------- gcc/ada/libgnat/s-aridou.ads | 36 +++---- gcc/ada/libgnat/s-arit128.ads | 2 +- gcc/ada/libgnat/s-arit32.adb | 4 +- gcc/ada/libgnat/s-arit64.adb | 4 + gcc/ada/libgnat/s-arit64.ads | 18 ++-- gcc/ada/libgnat/s-expmod.adb | 21 +++- gcc/ada/libgnat/s-exponn.adb | 16 +++- gcc/ada/libgnat/s-expont.adb | 16 +++- gcc/ada/libgnat/s-imagef.ads | 4 +- gcc/ada/libgnat/s-imgboo.adb | 20 +++- gcc/ada/libgnat/s-valuti.ads | 1 + gcc/ada/par-ch4.adb | 22 ++++- gcc/ada/sem.adb | 10 +- gcc/ada/sem_aggr.adb | 201 +++++++++++++++++++++++++++++++++++++- gcc/ada/sem_ch13.adb | 93 +++++++++++------- gcc/ada/sem_util.adb | 41 -------- gcc/ada/sem_util.ads | 4 - 22 files changed, 551 insertions(+), 225 deletions(-)