This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch master in repository gcc.
from cd644ce8be2 libgomp nvptx plugin: Split 'PLUGIN_NVPTX_DYNAMIC' into 'PL [...] new e3e51e753a6 [Ada] Document Aggregate_Individually_Assign as a configura [...] new d889e404c80 [Ada] Reuse generic string hash for invocation signatures new e845160a082 [Ada] Fix typos in syntax for implementation-defined pragmas new b9cff88ca79 [Ada] Fix remaining asymmetry in Specific_Type new 7a4892d2279 [Ada] Fix style checking rule for square brackets in Ada 20 [...] new 7a60ba4c831 [Ada] Fix typo in comment new bb1c939d9b8 [Ada] Fix scope of block in expanded protected entry body new d4fc83c6422 [Ada] Introduce hardbool Machine_Attribute for Ada new a4f6f9f1769 [Ada] Rewrite Sem_Ch4.Find_Boolean_Types new 91d68769419 [Ada] Proof of 'Image support for signed integers new 49a31a140db [Ada] Revamp analysis of conditional expressions new bcbf83ec10e [Ada] Adapt CodePeer analysis of GNAT to changes in dependencies new 9da379f1c22 [Ada] Plug loophole in Possible_Type_For_Conditional_Expression new c97014ce881 [Ada] Accept raise expressions as operands of boolean operators new f7fc84d6fff [Ada] Remove redundant guard against Any_String new 6655b152ebb [Ada] Fix support for ISO-8859-15 and IBM CP 850 encoding new bbb4320baea [Ada] Remove use of use-clauses in loaded runtime units new 86c7b1617f0 [Ada] Add ghost code to facilitate proof with SPARK new 3b4ae9b98b0 [Ada] Make debug printouts more robust new ce19ac123ab [Ada] Remove front-end SJLJ processing new cc508db0d32 [Ada] Do not issue a warning on a postcondition of True or False new dff98f76fb2 [Ada] Remove useless pragma Warnings Off from runtime units new 3707c8feb1b [Ada] Fix warning about generic subprograms withed but not [...] new ec0f9f7d888 [Ada] Fix warning about generic subprograms withed but not [...] new 09c7e3175a1 [Ada] Add more dummy names in Sem_Warn.Has_Junk_Name new 0c1ec8ae18b [Ada] Remove unreferenced Is_Selector_Name routine new e28064111c3 [Ada] Reuse collective subtype for comparison operators whe [...] new 0b4606618c0 [Ada] Restore double quotes in debug printouts new 605095af6f7 [Ada] Fix URL in doc new c4471a4a3cd [Ada] Skip postponed validation checks with compilation errors
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/ali.adb | 27 +- gcc/ada/ali.ads | 8 - gcc/ada/atree.adb | 1 + gcc/ada/atree.ads | 1 - gcc/ada/bcheck.adb | 11 +- gcc/ada/casing.adb | 9 - gcc/ada/casing.ads | 6 - gcc/ada/csets.adb | 17 +- .../doc/gnat_rm/implementation_defined_pragmas.rst | 8 +- .../doc/gnat_rm/security_hardening_features.rst | 36 ++ .../doc/gnat_ugn/the_gnat_compilation_model.rst | 3 +- gcc/ada/errout.adb | 2 +- gcc/ada/erroutc.adb | 1 + gcc/ada/erroutc.ads | 6 +- gcc/ada/exp_ch11.adb | 122 +--- gcc/ada/exp_ch9.adb | 3 +- gcc/ada/exp_prag.adb | 4 +- gcc/ada/exp_util.adb | 73 ++- gcc/ada/fe.h | 6 +- gcc/ada/fmap.adb | 2 - gcc/ada/fname-sf.adb | 2 - gcc/ada/gcc-interface/decl.cc | 28 +- gcc/ada/gcc-interface/trans.cc | 234 +------- gcc/ada/gcc-interface/utils.cc | 4 + gcc/ada/gnat1drv.adb | 28 +- gcc/ada/gnat_rm.texi | 99 +++- gcc/ada/gnat_ugn.texi | 3 +- gcc/ada/lib-writ.adb | 4 - gcc/ada/lib-xref.adb | 3 +- gcc/ada/libgnat/a-direct.adb | 1 - gcc/ada/libgnat/a-swmwco.ads | 24 +- gcc/ada/libgnat/a-szmzco.ads | 24 +- gcc/ada/libgnat/s-aridou.ads | 14 +- gcc/ada/libgnat/s-bignum.adb | 1 - gcc/ada/libgnat/s-exponn.ads | 10 +- gcc/ada/libgnat/s-expont.ads | 10 +- gcc/ada/libgnat/s-imagef.adb | 84 ++- gcc/ada/libgnat/s-imagef.ads | 1 + gcc/ada/libgnat/s-imagei.adb | 365 +++++++++++- gcc/ada/libgnat/s-imagei.ads | 60 +- gcc/ada/libgnat/s-imageu.adb | 13 + gcc/ada/libgnat/s-imfi128.ads | 3 +- gcc/ada/libgnat/s-imfi32.ads | 3 +- gcc/ada/libgnat/s-imfi64.ads | 3 +- gcc/ada/libgnat/s-imgint.ads | 45 +- gcc/ada/libgnat/s-imglli.ads | 45 +- gcc/ada/libgnat/s-imgllli.ads | 46 +- gcc/ada/libgnat/s-valint.ads | 8 +- gcc/ada/libgnat/s-vallli.ads | 8 +- gcc/ada/libgnat/s-valllli.ads | 8 +- gcc/ada/libgnat/s-valuei.adb | 53 ++ gcc/ada/libgnat/s-valuei.ads | 55 +- gcc/ada/libgnat/s-valueu.adb | 4 + gcc/ada/libgnat/s-valueu.ads | 2 - gcc/ada/libgnat/s-valuti.ads | 37 +- gcc/ada/libgnat/s-widthu.ads | 12 +- gcc/ada/libgnat/system-aix.ads | 1 - gcc/ada/libgnat/system-darwin-arm.ads | 1 - gcc/ada/libgnat/system-darwin-ppc.ads | 1 - gcc/ada/libgnat/system-darwin-x86.ads | 1 - gcc/ada/libgnat/system-djgpp.ads | 1 - gcc/ada/libgnat/system-dragonfly-x86_64.ads | 1 - gcc/ada/libgnat/system-freebsd.ads | 1 - gcc/ada/libgnat/system-hpux-ia64.ads | 1 - gcc/ada/libgnat/system-hpux.ads | 1 - gcc/ada/libgnat/system-linux-alpha.ads | 1 - gcc/ada/libgnat/system-linux-arm.ads | 1 - gcc/ada/libgnat/system-linux-hppa.ads | 1 - gcc/ada/libgnat/system-linux-ia64.ads | 1 - gcc/ada/libgnat/system-linux-m68k.ads | 1 - gcc/ada/libgnat/system-linux-mips.ads | 1 - gcc/ada/libgnat/system-linux-ppc.ads | 1 - gcc/ada/libgnat/system-linux-riscv.ads | 1 - gcc/ada/libgnat/system-linux-s390.ads | 1 - gcc/ada/libgnat/system-linux-sh4.ads | 1 - gcc/ada/libgnat/system-linux-sparc.ads | 1 - gcc/ada/libgnat/system-linux-x86.ads | 1 - gcc/ada/libgnat/system-lynxos178-ppc.ads | 1 - gcc/ada/libgnat/system-lynxos178-x86.ads | 1 - gcc/ada/libgnat/system-mingw.ads | 1 - gcc/ada/libgnat/system-qnx-aarch64.ads | 1 - gcc/ada/libgnat/system-rtems.ads | 1 - gcc/ada/libgnat/system-solaris-sparc.ads | 1 - gcc/ada/libgnat/system-solaris-x86.ads | 1 - gcc/ada/libgnat/system-vxworks-arm-rtp-smp.ads | 1 - gcc/ada/libgnat/system-vxworks-arm-rtp.ads | 1 - gcc/ada/libgnat/system-vxworks-arm.ads | 1 - gcc/ada/libgnat/system-vxworks-e500-kernel.ads | 1 - gcc/ada/libgnat/system-vxworks-e500-rtp-smp.ads | 1 - gcc/ada/libgnat/system-vxworks-e500-rtp.ads | 1 - gcc/ada/libgnat/system-vxworks-ppc-kernel.ads | 1 - gcc/ada/libgnat/system-vxworks-ppc-rtp-smp.ads | 1 - gcc/ada/libgnat/system-vxworks-ppc-rtp.ads | 1 - gcc/ada/libgnat/system-vxworks-x86-kernel.ads | 1 - gcc/ada/libgnat/system-vxworks-x86-rtp-smp.ads | 1 - gcc/ada/libgnat/system-vxworks-x86-rtp.ads | 1 - .../libgnat/system-vxworks7-aarch64-rtp-smp.ads | 1 - gcc/ada/libgnat/system-vxworks7-aarch64.ads | 1 - gcc/ada/libgnat/system-vxworks7-arm-rtp-smp.ads | 1 - gcc/ada/libgnat/system-vxworks7-arm.ads | 1 - gcc/ada/libgnat/system-vxworks7-e500-kernel.ads | 1 - gcc/ada/libgnat/system-vxworks7-e500-rtp-smp.ads | 1 - gcc/ada/libgnat/system-vxworks7-e500-rtp.ads | 1 - gcc/ada/libgnat/system-vxworks7-ppc-kernel.ads | 1 - gcc/ada/libgnat/system-vxworks7-ppc-rtp-smp.ads | 1 - gcc/ada/libgnat/system-vxworks7-ppc-rtp.ads | 1 - gcc/ada/libgnat/system-vxworks7-ppc64-kernel.ads | 1 - gcc/ada/libgnat/system-vxworks7-ppc64-rtp-smp.ads | 1 - gcc/ada/libgnat/system-vxworks7-x86-kernel.ads | 1 - gcc/ada/libgnat/system-vxworks7-x86-rtp-smp.ads | 1 - gcc/ada/libgnat/system-vxworks7-x86-rtp.ads | 1 - gcc/ada/libgnat/system-vxworks7-x86_64-kernel.ads | 1 - gcc/ada/libgnat/system-vxworks7-x86_64-rtp-smp.ads | 1 - gcc/ada/namet.adb | 150 ++--- gcc/ada/namet.ads | 21 +- gcc/ada/opt.adb | 29 +- gcc/ada/opt.ads | 15 +- gcc/ada/scng.adb | 7 +- gcc/ada/sem_ch12.adb | 2 +- gcc/ada/sem_ch3.adb | 2 +- gcc/ada/sem_ch4.adb | 623 +++++++++++++++------ gcc/ada/sem_dist.adb | 7 +- gcc/ada/sem_res.adb | 7 +- gcc/ada/sem_type.adb | 33 +- gcc/ada/sem_util.adb | 105 ++-- gcc/ada/sem_util.ads | 11 +- gcc/ada/sem_warn.adb | 4 +- gcc/ada/sinput.adb | 2 +- gcc/ada/sinput.ads | 13 +- gcc/ada/style.ads | 7 +- gcc/ada/styleg.adb | 11 +- gcc/ada/styleg.ads | 5 +- gcc/ada/targparm.adb | 4 - gcc/ada/targparm.ads | 3 - gcc/ada/treepr.adb | 18 +- gcc/ada/uname.adb | 77 +-- gcc/ada/uname.ads | 22 +- 137 files changed, 1829 insertions(+), 1096 deletions(-)