This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch master in repository gcc.
from c7e9d256fb9 libstdc++: Replace "Tunables" link with one that does not h [...] new 5d529045539 ada: Multiple levels of ghost code new 8d5816539dc ada: Unsigned_Base_Range aspect new 3b0aebd70df ada: exp_ch6.adb: perform less checks in CodePeer_Mode new d57092f2f33 ada: Add default assertion level for assertions new 3921122c0f2 ada: Compiler crash on container aggregate with constant el [...] new ed2a7045a26 ada: Fix crash with global No_Tasking and async delays new b0b81e8e205 ada: Add special handling for Runtime and Static in Policy_ [...] new 59ca6e03721 ada: Check restriction No_Secondary_Stack for overflow elimination new 17fd732c486 ada: Fix resolution of assertion levels new 03286f68732 ada: Avoid performing policy checks on ignored ghost pragmas new 77db91aae8d ada: Reject pragma Attach_Handler on procedures in protecte [...] new 54baf2a92bc ada: Fix inheritance of Is_Primitive and legality check for [...] new 1612b4ea748 ada: Fix ghost policy detection for declarations new 2a30a4b62c6 ada: Fix ghost policy change detection for procedure calls new bdb29aa4e54 ada: The policy of a generic can be different within a inst [...] new db243f7f414 ada: Avoid renamed declaration becoming both ignored and checked new 43b631530d4 ada: Avoid marking a ghost pragma twice new a2ee4707c10 ada: Typo fix in comment new 7a097ce43f1 ada: Replace Preelaborable_Initialization pragmas with equi [...] new 4f5025391a7 ada: Remove useless statements new b3d991e3d07 ada: Create a pragma to emit a misplaced Storage_Size aspect error new 297241e4ac2 ada: Improve error message in the case of missing indices new 54cb541d286 ada: Adding support to defer the addition of extra formals [...] new a1b7ea3ef93 ada: Add location info to policy difference errors new ad410118a75 ada: Improve documentation comment new 97b771f90a1 ada: Remove unnecessary if statement new 0cdb59dcce8 ada: Fix comment in Find_Type_Name new e7c526a40c1 ada: Spurious error on generalized prefix notation new c3ef51e28d4 ada: Improve comments in Copy_And_Swap new b7019e9895f ada: Update the uses of Is_Ignored*_In_Codegen new 360a779f07e ada: Platform-specific import for read() and write() new 9d4e02a4421 ada: Ignore Ghost policy checks for some pragmas new bda7699648d ada: Remove incorrect comment new 42cc047419c ada: Fix spurious warning for procedure named "Continue" new 369b7ed801e ada: Warning for composite equality that calls an abstract [...]
The 35 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/Makefile.rtl | 1 + gcc/ada/aspects.ads | 5 + gcc/ada/atree.adb | 4 + gcc/ada/checks.adb | 64 +- gcc/ada/contracts.adb | 16 +- gcc/ada/cstand.adb | 27 + gcc/ada/debug.adb | 5 +- gcc/ada/doc/gnat_rm/gnat_language_extensions.rst | 23 + gcc/ada/einfo.ads | 24 + gcc/ada/exp_aggr.adb | 6 +- gcc/ada/exp_attr.adb | 9 +- gcc/ada/exp_ch3.adb | 16 +- gcc/ada/exp_ch4.adb | 71 +- gcc/ada/exp_ch5.adb | 6 +- gcc/ada/exp_ch6.adb | 78 +- gcc/ada/exp_ch7.adb | 12 +- gcc/ada/exp_ch9.adb | 2 +- gcc/ada/exp_disp.adb | 4 +- gcc/ada/exp_prag.adb | 86 +- gcc/ada/exp_util.adb | 82 +- gcc/ada/freeze.adb | 8 +- gcc/ada/gcc-interface/Make-lang.in | 5 +- gcc/ada/gen_il-fields.ads | 8 + gcc/ada/gen_il-gen-gen_entities.adb | 14 + gcc/ada/gen_il-gen-gen_nodes.adb | 6 +- gcc/ada/gen_il-internals.adb | 2 + gcc/ada/gen_il-types.ads | 1 + gcc/ada/ghost.adb | 1438 +++++++++++++------ gcc/ada/ghost.ads | 28 +- gcc/ada/gnat1drv.adb | 6 + gcc/ada/gnat_rm.texi | 150 +- gcc/ada/gnat_ugn.texi | 4 +- gcc/ada/inline.adb | 4 +- gcc/ada/lib-xref.ads | 3 +- gcc/ada/libgnat/a-cdlili.ads | 10 +- gcc/ada/libgnat/a-cidlli.ads | 9 +- gcc/ada/libgnat/a-cihama.ads | 9 +- gcc/ada/libgnat/a-cihase.ads | 9 +- gcc/ada/libgnat/a-cimutr.ads | 9 +- gcc/ada/libgnat/a-ciorma.ads | 9 +- gcc/ada/libgnat/a-ciormu.ads | 9 +- gcc/ada/libgnat/a-ciorse.ads | 9 +- gcc/ada/libgnat/a-cohama.ads | 10 +- gcc/ada/libgnat/a-cohase.ads | 10 +- gcc/ada/libgnat/a-coinho.ads | 5 +- gcc/ada/libgnat/a-coinho__shared.ads | 5 +- gcc/ada/libgnat/a-coinve.ads | 10 +- gcc/ada/libgnat/a-comutr.ads | 8 +- gcc/ada/libgnat/a-convec.ads | 10 +- gcc/ada/libgnat/a-coorma.ads | 9 +- gcc/ada/libgnat/a-coormu.ads | 9 +- gcc/ada/libgnat/a-coorse.ads | 9 +- gcc/ada/libgnat/a-crdlli.ads | 8 +- gcc/ada/libgnat/a-except.ads | 8 +- gcc/ada/libgnat/a-finali.ads | 8 +- gcc/ada/libgnat/a-ngcoty.ads | 4 +- gcc/ada/libgnat/a-strbou.ads | 5 +- gcc/ada/libgnat/a-stream.ads | 4 +- gcc/ada/libgnat/a-strmap.ads | 8 +- gcc/ada/libgnat/a-strunb.ads | 4 +- gcc/ada/libgnat/a-strunb__shared.ads | 4 +- gcc/ada/libgnat/a-ststio.ads | 5 +- gcc/ada/libgnat/a-stwibo.ads | 4 +- gcc/ada/libgnat/a-stwima.ads | 8 +- gcc/ada/libgnat/a-stwiun.ads | 4 +- gcc/ada/libgnat/a-stwiun__shared.ads | 4 +- gcc/ada/libgnat/a-stzbou.ads | 4 +- gcc/ada/libgnat/a-stzmap.ads | 8 +- gcc/ada/libgnat/a-stzunb.ads | 4 +- gcc/ada/libgnat/a-stzunb__shared.ads | 4 +- gcc/ada/libgnat/a-tags.ads | 4 +- gcc/ada/libgnat/i-cstrin.ads | 5 +- gcc/ada/libgnat/s-aridou.adb | 71 + gcc/ada/libgnat/s-aridou.ads | 36 + gcc/ada/libgnat/s-arit128.adb | 10 +- gcc/ada/libgnat/s-arit128.ads | 39 + gcc/ada/libgnat/s-arit64.adb | 10 +- gcc/ada/libgnat/s-arit64.ads | 41 + .../{libgnarl/g-signal.ads => libgnat/s-crtl.adb} | 54 +- gcc/ada/libgnat/s-crtl.ads | 6 +- .../g-signal.ads => libgnat/s-crtl__mingw.adb} | 56 +- gcc/ada/libgnat/s-stopoo.ads | 5 +- gcc/ada/libgnat/s-stposu.ads | 10 +- gcc/ada/libgnat/system-aix.ads | 4 +- gcc/ada/libgnat/system-darwin-arm.ads | 4 +- gcc/ada/libgnat/system-darwin-ppc.ads | 4 +- gcc/ada/libgnat/system-darwin-x86.ads | 4 +- gcc/ada/libgnat/system-djgpp.ads | 4 +- gcc/ada/libgnat/system-dragonfly-x86_64.ads | 4 +- gcc/ada/libgnat/system-freebsd.ads | 4 +- gcc/ada/libgnat/system-gnu.ads | 4 +- gcc/ada/libgnat/system-hpux-ia64.ads | 4 +- gcc/ada/libgnat/system-hpux.ads | 4 +- gcc/ada/libgnat/system-linux-alpha.ads | 4 +- gcc/ada/libgnat/system-linux-arm.ads | 4 +- gcc/ada/libgnat/system-linux-hppa.ads | 4 +- gcc/ada/libgnat/system-linux-ia64.ads | 4 +- gcc/ada/libgnat/system-linux-loongarch.ads | 4 +- gcc/ada/libgnat/system-linux-m68k.ads | 4 +- gcc/ada/libgnat/system-linux-mips.ads | 4 +- gcc/ada/libgnat/system-linux-ppc.ads | 4 +- gcc/ada/libgnat/system-linux-riscv.ads | 4 +- gcc/ada/libgnat/system-linux-s390.ads | 4 +- gcc/ada/libgnat/system-linux-sh4.ads | 4 +- gcc/ada/libgnat/system-linux-sparc.ads | 4 +- gcc/ada/libgnat/system-linux-x86.ads | 4 +- gcc/ada/libgnat/system-lynxos178-ppc.ads | 4 +- gcc/ada/libgnat/system-lynxos178-x86.ads | 4 +- gcc/ada/libgnat/system-mingw.ads | 4 +- gcc/ada/libgnat/system-qnx-arm.ads | 4 +- gcc/ada/libgnat/system-rtems.ads | 4 +- gcc/ada/libgnat/system-solaris-sparc.ads | 4 +- gcc/ada/libgnat/system-solaris-x86.ads | 4 +- gcc/ada/libgnat/system-vxworks-ppc-kernel.ads | 4 +- gcc/ada/libgnat/system-vxworks-ppc-rtp-smp.ads | 4 +- gcc/ada/libgnat/system-vxworks-ppc-rtp.ads | 4 +- .../libgnat/system-vxworks7-aarch64-rtp-smp.ads | 4 +- gcc/ada/libgnat/system-vxworks7-aarch64.ads | 4 +- gcc/ada/libgnat/system-vxworks7-arm-rtp-smp.ads | 4 +- gcc/ada/libgnat/system-vxworks7-arm.ads | 4 +- gcc/ada/libgnat/system-vxworks7-ppc-kernel.ads | 4 +- gcc/ada/libgnat/system-vxworks7-ppc-rtp-smp.ads | 4 +- gcc/ada/libgnat/system-vxworks7-ppc64-kernel.ads | 4 +- gcc/ada/libgnat/system-vxworks7-ppc64-rtp-smp.ads | 4 +- gcc/ada/libgnat/system-vxworks7-x86-kernel.ads | 4 +- gcc/ada/libgnat/system-vxworks7-x86-rtp-smp.ads | 4 +- gcc/ada/libgnat/system-vxworks7-x86_64-kernel.ads | 4 +- gcc/ada/libgnat/system-vxworks7-x86_64-rtp-smp.ads | 4 +- gcc/ada/opt.ads | 12 + gcc/ada/par-prag.adb | 2 + gcc/ada/repinfo.adb | 2 +- gcc/ada/rtsfind.adb | 2 +- gcc/ada/rtsfind.ads | 16 + gcc/ada/s-pack.adb.tmpl | 2 +- gcc/ada/sem.adb | 4 +- gcc/ada/sem_aggr.adb | 24 +- gcc/ada/sem_attr.adb | 41 + gcc/ada/sem_attr.ads | 9 + gcc/ada/sem_ch10.adb | 2 +- gcc/ada/sem_ch13.adb | 367 ++++- gcc/ada/sem_ch3.adb | 317 ++++- gcc/ada/sem_ch3.ads | 6 + gcc/ada/sem_ch5.adb | 11 +- gcc/ada/sem_ch6.adb | 65 +- gcc/ada/sem_ch6.ads | 19 +- gcc/ada/sem_ch7.adb | 3 - gcc/ada/sem_elab.adb | 2 +- gcc/ada/sem_prag.adb | 1486 +++++++++++++++----- gcc/ada/sem_prag.ads | 94 +- gcc/ada/sem_res.adb | 4 +- gcc/ada/sem_util.adb | 179 ++- gcc/ada/sem_util.ads | 65 +- gcc/ada/sinfo.ads | 28 + gcc/ada/snames.adb-tmpl | 5 +- gcc/ada/snames.ads-tmpl | 18 +- gcc/ada/stand.ads | 12 + gcc/ada/targparm.adb | 2 +- gcc/ada/tbuild.adb | 15 + gcc/ada/tbuild.ads | 4 + 159 files changed, 4431 insertions(+), 1388 deletions(-) copy gcc/ada/{libgnarl/g-signal.ads => libgnat/s-crtl.adb} (72%) copy gcc/ada/{libgnarl/g-signal.ads => libgnat/s-crtl__mingw.adb} (71%)