This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch master in repository gcc.
from 2467998373b Daily bump. new 2e0782a9fab [Ada] Switch to SR0660 new c4f826d9333 [Ada] Document that gnatmem requires fixed-position executables new 1b482832d56 [Ada] Fix CodePeer warnings new 8e35980ff82 [Ada] No ABE check needed for an expression function call. new cafd1c1a713 [Ada] Improve error message for .ali file version mismatch new 7916838b667 [Ada] Add N_Entity_Name new 3e20570d907 [Ada] Add N_Is_Decl new 6732c4035d5 [Ada] Spurious range checks on aggregate with non-static bounds new e0ab2003576 [Ada] Support gmem.out longer than 2G on 32 bit platforms new a6fe12b0a9a [Ada] Info. gathering in preparation for more efficiency im [...] new aa4648eef47 [Ada] Fix bug in inherited user-defined-literal aspects for [...] new 19ab5a56d6a [Ada] Improve error message for .ali file version mismatch new fa465c1b609 [Ada] Fix deleting CodePeer files for non-ordinary units new 475e1d24008 [Ada] Ada2022: AI12-0195 overriding class-wide pre/postconditions new 8b1a5da38e0 [Ada] Implementation of AI12-0212: iterator specs in array [...] new 698425f5cc8 [Ada] Add more node unions new 28c49456b29 [Ada] Assert_Failure on derived type with inherited Default [...] new 8279a1125f5 [Ada] Stub CUDA_Device aspect new ddd1ab30e6c [Ada] Add Evaluable_Kind and Global_Name_Kind new 3323aa7ee7d [Ada] Fix CodePeer warnings new 10ca293141e [Ada] Crash on renaming within declare expression new 1c37d1960ad [Ada] Crash on improper use of GNAT attribute Type_Key new 302563cf1ba [Ada] Spurious warning about hiding in generic instantiation new f54be415c18 [Ada] Add new debug switch -gnatd.8 new 3a81dbb618e [Ada] Add missing guard before call to Interface_Present_In [...] new 3f561db7ca1 [Ada] More work on efficiency improvements new f5d4b3fbf62 [Ada] Document rounding mode assumed for dynamic floating-p [...] new e02c8dffe35 [Ada] Improved checking for invalid index values when acces [...] new 29ada0e5a2e [Ada] Empty CUDA_Global procedures when compiling for host new ea0b5b656a0 [Ada] Subprogram_Variant in ignored ghost code
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/aspects.ads | 4 + gcc/ada/atree.adb | 278 +++- gcc/ada/atree.ads | 45 +- gcc/ada/bcheck.adb | 134 +- gcc/ada/checks.adb | 23 +- gcc/ada/checks.ads | 25 +- gcc/ada/comperr.adb | 7 +- gcc/ada/contracts.adb | 1641 +++++++++++++++++--- gcc/ada/contracts.ads | 25 + gcc/ada/debug.adb | 13 +- .../implementation_defined_characteristics.rst | 12 +- .../doc/gnat_ugn/gnat_and_program_execution.rst | 14 +- gcc/ada/einfo.ads | 75 +- gcc/ada/exp_aggr.adb | 45 +- gcc/ada/exp_attr.adb | 14 + gcc/ada/exp_ch3.adb | 92 ++ gcc/ada/exp_ch4.adb | 152 +- gcc/ada/exp_ch6.adb | 388 ++++- gcc/ada/exp_ch6.ads | 3 + gcc/ada/exp_dbug.adb | 4 +- gcc/ada/exp_disp.adb | 225 --- gcc/ada/exp_util.adb | 230 +-- gcc/ada/exp_util.ads | 48 +- gcc/ada/fe.h | 2 + gcc/ada/freeze.adb | 573 +++++-- gcc/ada/freeze.ads | 9 + gcc/ada/gen_il-fields.ads | 24 +- gcc/ada/gen_il-gen-gen_entities.adb | 27 +- gcc/ada/gen_il-gen-gen_nodes.adb | 53 +- gcc/ada/gen_il-gen.adb | 491 ++---- gcc/ada/gen_il-internals.adb | 2 +- gcc/ada/gen_il-internals.ads | 345 +++- gcc/ada/gen_il-types.ads | 8 + gcc/ada/ghost.adb | 9 + gcc/ada/gnat1drv.adb | 4 + gcc/ada/gnat_cuda.adb | 160 +- gcc/ada/gnat_cuda.ads | 3 + gcc/ada/gnat_rm.texi | 14 +- gcc/ada/impunit.adb | 16 +- gcc/ada/libgnat/memtrack.adb | 127 +- gcc/ada/libgnat/s-imglli.ads | 4 +- gcc/ada/libgnat/s-parame__vxworks.ads | 4 +- gcc/ada/output.adb | 26 + gcc/ada/output.ads | 1 + gcc/ada/par-prag.adb | 1 + gcc/ada/sem.ads | 4 + gcc/ada/sem_aggr.adb | 2 +- gcc/ada/sem_attr.adb | 14 +- gcc/ada/sem_ch13.adb | 40 + gcc/ada/sem_ch5.adb | 17 + gcc/ada/sem_ch6.adb | 24 +- gcc/ada/sem_disp.adb | 110 ++ gcc/ada/sem_disp.ads | 4 + gcc/ada/sem_elab.adb | 7 + gcc/ada/sem_prag.adb | 74 +- gcc/ada/sem_prag.ads | 1 + gcc/ada/sem_res.adb | 44 +- gcc/ada/sem_type.adb | 3 +- gcc/ada/sem_util.adb | 338 ++-- gcc/ada/sem_util.ads | 49 +- gcc/ada/sinfo-utils.adb | 2 +- gcc/ada/sinfo.ads | 4 - gcc/ada/snames.ads-tmpl | 2 + gcc/ada/table.ads | 2 +- gcc/ada/types.ads | 11 +- 65 files changed, 4533 insertions(+), 1619 deletions(-)