This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch master in repository gcc.
from dcfdd2851b2 i386: Optimize away shift count masking of shifts/rotates s [...] new f0b7fddbefb [Ada] Add contracts to Interfaces.C.Strings new f03f48a3843 [Ada] Add contracts to System.Address_To_Access_Conversions new 878043af338 [Ada] Fix iteration on formal vectors new 68eb05a3b6a [Ada] Gnatbind crash during checksum calculation new e3adb804889 [Ada] Combine system.ads file - vxworks7 rtp constants new d1ae37393be [Ada] Combine system.ads files - arm and aarch64 linux new dc94991cb70 [Ada] Propagate Has_Inherit{able,ed}_Invariants to base types new 2689914091d [Ada] Removal of dead code Analyze_Label_Entity new d2763743551 [Ada] Complete contracts of Interfaces.C.Strings subprograms new 5987f434127 [Ada] Issue errors on wrong context for ghost entities new cfd22626688 [Ada] Fix preconditions of Interfaces.C.Strings new b25912a4138 [Ada] Fix detection of deferred constants for freezing error new e5a850a6643 [Ada] Update documentation of GNAT.Dynamic_Tables new 57b522c58a0 [Ada] vx7r2-arm/aarch64 - Support Atomic Primitives True new 5a06e886ac8 [Ada] Build static dispatch tables always at the end of dec [...] new a9f5f2cd642 [Ada] Move registering code for predefined primitives to Exp_Disp new 017f48682c2 [Ada] Fix spurious errors on ghost code in generics new 615682bc665 [Ada] Refine previous changes on making symbols public/private new 8575c72f040 [Ada] Add precise subprogram identification to -fdiagnostic [...] new 4c132238a51 [Ada] Fix spurious use of trampolines with interface types new 2a466ee0938 [Ada] Make the functional Maps and Sets unbounded new 2b376b59357 [Ada] Rename GNATprove annotate pragma for termination to A [...] new c7c1d59b367 [Ada] Fix references to old variables that have been refactored new 89e037d0e36 [Ada] Get rid of secondary stack for most calls returning t [...] new b05a31e579e [Ada] Remove redundant checks for missing lists new da7cd04339b [Ada] Never make symbols for thunks public new bbb9c475bff [Ada] Restore full generation of static dispatch tables wit [...] new 59a6274d868 [Ada] Couple of small preparatory adjustments new dee55c1287f [Ada] Disable -flto when building the shared libgnat new 134758eed2d [Ada] Fix record layout warnings not being tagged new d6d9f534f9f [Ada] Remove left-overs of front-end SJLJ processing new cdfc6e92b49 [Ada] Update copyright notices
The 32 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 | 5 + gcc/ada/einfo.ads | 38 +- gcc/ada/errout.adb | 21 +- gcc/ada/exp_ch13.adb | 92 ++-- gcc/ada/exp_ch3.adb | 37 +- gcc/ada/exp_ch5.adb | 105 ++-- gcc/ada/exp_ch6.adb | 217 +++------ gcc/ada/exp_ch7.adb | 60 +-- gcc/ada/exp_ch9.adb | 292 ++++++----- gcc/ada/exp_disp.adb | 537 +++++++++++++++++---- gcc/ada/exp_disp.ads | 23 +- gcc/ada/exp_strm.adb | 53 +- gcc/ada/exp_util.adb | 28 ++ gcc/ada/exp_util.ads | 13 + gcc/ada/fe.h | 8 +- gcc/ada/freeze.adb | 3 +- gcc/ada/gcc-interface/Makefile.in | 4 +- gcc/ada/gcc-interface/ada-tree.h | 5 - gcc/ada/gcc-interface/decl.cc | 65 +-- gcc/ada/gcc-interface/gigi.h | 37 +- gcc/ada/gcc-interface/lang-specs.h | 2 +- gcc/ada/gcc-interface/misc.cc | 1 - gcc/ada/gcc-interface/trans.cc | 182 +++---- gcc/ada/gcc-interface/utils.cc | 27 +- gcc/ada/gen_il-fields.ads | 1 - gcc/ada/gen_il-gen-gen_nodes.adb | 2 - gcc/ada/ghost.adb | 66 ++- gcc/ada/gnatbind.adb | 2 + gcc/ada/gnatls.adb | 2 + gcc/ada/gprep.adb | 2 + gcc/ada/libgnat/a-cfdlli.adb | 10 +- gcc/ada/libgnat/a-cfhama.adb | 12 +- gcc/ada/libgnat/a-cfhase.adb | 2 +- gcc/ada/libgnat/a-cfhase.ads | 35 +- gcc/ada/libgnat/a-cfinve.adb | 2 +- gcc/ada/libgnat/a-cfinve.ads | 2 +- gcc/ada/libgnat/a-cforma.adb | 12 +- gcc/ada/libgnat/a-cforse.adb | 2 +- gcc/ada/libgnat/a-cforse.ads | 35 +- gcc/ada/libgnat/a-cofove.adb | 2 +- gcc/ada/libgnat/a-cofove.ads | 2 +- gcc/ada/libgnat/a-cofuma.adb | 7 +- gcc/ada/libgnat/a-cofuma.ads | 9 +- gcc/ada/libgnat/a-cofuse.adb | 11 +- gcc/ada/libgnat/a-cofuse.ads | 14 +- gcc/ada/libgnat/g-dyntab.ads | 11 +- gcc/ada/libgnat/i-cstrin.adb | 4 +- gcc/ada/libgnat/i-cstrin.ads | 80 ++- gcc/ada/libgnat/s-aridou.adb | 4 +- gcc/ada/libgnat/s-arit32.adb | 4 +- gcc/ada/libgnat/s-atacco.ads | 6 +- gcc/ada/libgnat/s-spcuop.ads | 2 +- gcc/ada/libgnat/system-linux-arm.ads | 2 +- .../libgnat/system-vxworks7-aarch64-rtp-smp.ads | 5 +- gcc/ada/libgnat/system-vxworks7-aarch64.ads | 1 + gcc/ada/libgnat/system-vxworks7-arm-rtp-smp.ads | 5 +- gcc/ada/libgnat/system-vxworks7-arm.ads | 1 + gcc/ada/libgnat/system-vxworks7-e500-rtp-smp.ads | 4 +- gcc/ada/libgnat/system-vxworks7-e500-rtp.ads | 4 +- gcc/ada/libgnat/system-vxworks7-ppc-rtp-smp.ads | 4 +- gcc/ada/libgnat/system-vxworks7-ppc-rtp.ads | 4 +- gcc/ada/libgnat/system-vxworks7-ppc64-rtp-smp.ads | 4 +- gcc/ada/libgnat/system-vxworks7-x86-rtp-smp.ads | 4 +- gcc/ada/libgnat/system-vxworks7-x86-rtp.ads | 4 +- gcc/ada/make.adb | 2 + gcc/ada/sem.ads | 30 +- gcc/ada/sem_ch10.adb | 57 ++- gcc/ada/sem_ch13.adb | 12 +- gcc/ada/sem_ch2.adb | 14 + gcc/ada/sem_ch5.adb | 46 +- gcc/ada/sem_ch5.ads | 7 - gcc/ada/sem_ch6.adb | 150 +++--- gcc/ada/sem_ch7.adb | 85 ++-- gcc/ada/sem_ch8.adb | 24 +- gcc/ada/sem_disp.adb | 6 + gcc/ada/sem_elab.adb | 20 +- gcc/ada/sem_eval.adb | 18 +- gcc/ada/sem_prag.adb | 36 +- gcc/ada/sem_util.adb | 80 +-- gcc/ada/sinfo.ads | 8 - 80 files changed, 1569 insertions(+), 1266 deletions(-)