This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch master in repository gcc.
from 1fa2676e46c Remove usage of ZSTD_CLEVEL_DEFAULT define. new b389ec1e4c5 [Ada] Update -fdump-ada-spec documentation new 5fb4f6e3e60 [Ada] Make -gnatRj output strictly conforming JSON new a42b8e6a0b0 [Ada] Fix ownership checking for pointers in SPARK new 82c20af0c09 [Ada] Issue error on illegal ownership in SPARK new 6c334e66b08 [Ada] Set Dynamic_Elaboration_Checks to True in CodePeer mode new 4c24efa627d [Ada] Fix scopes for local variables in task/protected bodies new d9b7ae154b9 [Ada] Einfo: fix a typo new a080baa92ec [Ada] Handle implicit moves in SPARK ownership pointer support new cf9af2fa187 [Ada] Reword "wild card" to "wildcard" new 8235b94301c [Ada] Expand type of static expressions in GNATprove mode new 3e4e7139ce3 [Ada] Prevent inconsistent state for inlining in GNATprove new 44e00a56ea1 [Ada] Spurious error when instance of generic is used as fo [...] new dbf9a3d77c9 [Ada] Expand Enum_Rep attribute reference in GNATprove mode new 2166bdef39c [Ada] Sinfo: refine comment for Do_Range_Check new 3933efcf994 [Ada] Missing runtime range checks with -gnatVa new a2c6c634bbf [Ada] Missing escape of the double quote in JSON output new f71974500d7 [Ada] Elaboration order v4.0 activation new 5ffa473a523 [Ada] Wrong resolution of equality operator with overloaded [...] new 98eb811160a [Ada] Minor reformatting new 7667b40aa3f [Ada] Missing error on generic type with representation clause new 1d7a99549ca [Ada] Disable calls to Abort defer/undefer when ZCX_By_Default new 247527b7c30 [Ada] Exp_Util: minor refactoring new 7ed20965ec3 [Ada] Task-related circularities in Elaboration order v4.0 new 06d78d4c3d0 [Ada] Reformat comments new 7389bee5f19 [Ada] Elaboration order v4.0 and generic instantiations new 2463fa93c10 [Ada] Crash/infinite loop on program with multiple visibili [...] new 9b57fc3078d [Ada] Warning needed on anonymous access type allocators new 54b39f265ff [Ada] System.OS_Interface: fix Critical_Section.SpinCount type new fb739c453c5 [Ada] Crash on 'Img attribute new 89c67bd9086 [Ada] Access to uninitialized memory by predicate check
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/ChangeLog | 294 ++++ gcc/ada/ali.ads | 2 +- gcc/ada/bindo-augmentors.adb | 153 +-- gcc/ada/bindo-augmentors.ads | 8 +- gcc/ada/bindo-builders.adb | 36 +- gcc/ada/bindo-diagnostics.adb | 90 +- gcc/ada/bindo-elaborators.adb | 17 +- gcc/ada/bindo-graphs.adb | 260 ++-- gcc/ada/bindo-graphs.ads | 59 +- gcc/ada/bindo-units.adb | 13 + gcc/ada/bindo-units.ads | 4 + gcc/ada/bindo-validators.adb | 2 +- gcc/ada/bindo.adb | 33 +- gcc/ada/bindo.ads | 18 +- gcc/ada/bindusg.adb | 7 +- gcc/ada/clean.adb | 2 +- gcc/ada/debug.adb | 9 +- gcc/ada/doc/gnat_rm/the_gnat_library.rst | 2 +- .../building_executable_programs_with_gnat.rst | 91 +- .../elaboration_order_handling_in_gnat.rst | 1416 ++++++++------------ .../doc/gnat_ugn/the_gnat_compilation_model.rst | 7 +- gcc/ada/einfo.ads | 4 +- gcc/ada/erroutc.adb | 2 +- gcc/ada/exp_aggr.adb | 4 +- gcc/ada/exp_ch13.adb | 4 +- gcc/ada/exp_ch4.adb | 12 +- gcc/ada/exp_ch5.adb | 2 +- gcc/ada/exp_ch6.adb | 4 +- gcc/ada/exp_ch7.adb | 2 +- gcc/ada/exp_ch9.adb | 29 +- gcc/ada/exp_pakd.adb | 2 +- gcc/ada/exp_spark.adb | 7 + gcc/ada/exp_util.adb | 16 +- gcc/ada/fname-uf.ads | 2 +- gcc/ada/freeze.adb | 5 +- gcc/ada/gnat1drv.adb | 7 +- gcc/ada/gnat_rm.texi | 2 +- gcc/ada/gnat_ugn.texi | 1375 ++++++++----------- gcc/ada/gnatlink.adb | 4 +- gcc/ada/inline.adb | 2 +- gcc/ada/lib.ads | 2 +- gcc/ada/libgnarl/s-osinte__mingw.ads | 2 +- gcc/ada/libgnat/g-comlin.adb | 2 +- gcc/ada/libgnat/g-comlin.ads | 6 +- gcc/ada/libgnat/g-regexp.ads | 2 +- gcc/ada/libgnat/g-regpat.ads | 2 +- gcc/ada/libgnat/g-spipat.ads | 2 +- gcc/ada/libgnat/s-memory.adb | 17 +- gcc/ada/libgnat/s-os_lib.ads | 2 +- gcc/ada/libgnat/s-regexp.ads | 2 +- gcc/ada/make.adb | 2 +- gcc/ada/namet.ads | 2 +- gcc/ada/opt.ads | 2 +- gcc/ada/par-ch4.adb | 2 +- gcc/ada/par-ch6.adb | 2 +- gcc/ada/par-labl.adb | 2 +- gcc/ada/prep.adb | 2 +- gcc/ada/repinfo.adb | 114 +- gcc/ada/repinfo.ads | 2 +- gcc/ada/sem_aggr.adb | 2 +- gcc/ada/sem_ch12.adb | 34 +- gcc/ada/sem_ch13.adb | 24 +- gcc/ada/sem_ch3.adb | 36 +- gcc/ada/sem_ch4.adb | 66 +- gcc/ada/sem_ch5.adb | 8 +- gcc/ada/sem_ch6.adb | 10 +- gcc/ada/sem_ch6.ads | 2 +- gcc/ada/sem_ch7.adb | 2 +- gcc/ada/sem_ch8.adb | 2 +- gcc/ada/sem_dim.adb | 8 +- gcc/ada/sem_disp.adb | 2 +- gcc/ada/sem_elab.adb | 17 +- gcc/ada/sem_eval.adb | 10 +- gcc/ada/sem_prag.adb | 5 +- gcc/ada/sem_res.adb | 74 +- gcc/ada/sem_spark.adb | 294 +++- gcc/ada/sem_util.adb | 24 +- gcc/ada/sem_warn.adb | 2 +- gcc/ada/sinfo.ads | 8 +- gcc/ada/switch-b.adb | 9 +- gcc/ada/usage.adb | 2 + gcc/ada/warnsw.adb | 12 + gcc/ada/warnsw.ads | 7 + gcc/testsuite/ChangeLog | 31 + gcc/testsuite/gnat.dg/equal7.adb | 15 + gcc/testsuite/gnat.dg/equal7_pkg.adb | 14 + gcc/testsuite/gnat.dg/equal7_pkg.ads | 16 + gcc/testsuite/gnat.dg/generic_inst5.adb | 20 + gcc/testsuite/gnat.dg/generic_inst6.adb | 9 + gcc/testsuite/gnat.dg/generic_inst6_g1-c.adb | 6 + gcc/testsuite/gnat.dg/generic_inst6_g1-c.ads | 3 + gcc/testsuite/gnat.dg/generic_inst6_g1.ads | 3 + gcc/testsuite/gnat.dg/generic_inst6_i1.ads | 2 + gcc/testsuite/gnat.dg/generic_inst6_i2.ads | 2 + gcc/testsuite/gnat.dg/generic_inst6_x.ads | 7 + gcc/testsuite/gnat.dg/image1.adb | 12 + gcc/testsuite/gnat.dg/predicate10.adb | 9 + gcc/testsuite/gnat.dg/predicate10_pkg.adb | 10 + gcc/testsuite/gnat.dg/predicate10_pkg.ads | 13 + gcc/testsuite/gnat.dg/range_check3.adb | 13 + gcc/testsuite/gnat.dg/range_check3_pkg.adb | 18 + gcc/testsuite/gnat.dg/range_check3_pkg.ads | 9 + gcc/testsuite/gnat.dg/rep_clause8.adb | 19 + 103 files changed, 2823 insertions(+), 2245 deletions(-) create mode 100644 gcc/testsuite/gnat.dg/equal7.adb create mode 100644 gcc/testsuite/gnat.dg/equal7_pkg.adb create mode 100644 gcc/testsuite/gnat.dg/equal7_pkg.ads create mode 100644 gcc/testsuite/gnat.dg/generic_inst5.adb create mode 100644 gcc/testsuite/gnat.dg/generic_inst6.adb create mode 100644 gcc/testsuite/gnat.dg/generic_inst6_g1-c.adb create mode 100644 gcc/testsuite/gnat.dg/generic_inst6_g1-c.ads create mode 100644 gcc/testsuite/gnat.dg/generic_inst6_g1.ads create mode 100644 gcc/testsuite/gnat.dg/generic_inst6_i1.ads create mode 100644 gcc/testsuite/gnat.dg/generic_inst6_i2.ads create mode 100644 gcc/testsuite/gnat.dg/generic_inst6_x.ads create mode 100644 gcc/testsuite/gnat.dg/image1.adb create mode 100644 gcc/testsuite/gnat.dg/predicate10.adb create mode 100644 gcc/testsuite/gnat.dg/predicate10_pkg.adb create mode 100644 gcc/testsuite/gnat.dg/predicate10_pkg.ads create mode 100644 gcc/testsuite/gnat.dg/range_check3.adb create mode 100644 gcc/testsuite/gnat.dg/range_check3_pkg.adb create mode 100644 gcc/testsuite/gnat.dg/range_check3_pkg.ads create mode 100644 gcc/testsuite/gnat.dg/rep_clause8.adb