This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch master in repository gcc.
from b47b5438b9b Remove unused back_threader_registry::m_threaded_paths. new d9fe0e53d8d [Ada] Fix type conversion handling in validity checks new 8c73de6ea4c [Ada] Issue warning on unused quantified expression new 0a8dcff1798 [Ada] Get rid of Frontend_Exceptions refs new 4b39bab9474 [Ada] Small cleanup in Eval_Integer_Literal new abb540a70b0 [Ada] Rewrite tests on Convention_Intrinsic new d24e5767fe7 [Ada] Expose and use type-generic GCC atomic builtins new ff274672805 [Ada] Prevent use of an uninitialized AST field with univer [...] new 749e01a5f31 [Ada] Warning on nonmatching subtypes in fully conforming s [...] new 36e38022125 [Ada] tech debt: Clean up Uint fields, such as Esize new 2aa814cb27f [Ada] Refine type of a counter function for record delta aggregate new 0f074aa4aa2 [Ada] Add ghost code version of Ada.Numerics.Big_Numbers.Bi [...] new 9267014b351 [Ada] Crash on object of protected type with defaulted acce [...] new 50cdd660b2a [Ada] Missing accessibility check when returning discrimina [...] new 6cf01c9277b [Ada] Reject boxes in delta record aggregates new 931d4819f74 [Ada] Define __wrs_rtp_base in linker spec new 60440d3cf51 [Ada] Factor out machine rounding operations new f6f8b3f95e5 [Ada] Delete unused runtime files new 723d09e8895 [Ada] Fix problematic conversion of real literal in static context new c5742a0e119 [Ada] Provide dummy body for big integers library used in r [...] new bd2560b726f [Ada] Proof of the runtime support for attribute 'Width new 4afb464e1f7 [Ada] Never treat intrinsic subprograms as nested new 18606d77664 [Ada] Remove unnecessary call to No_Uint_To_0
The 22 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 | 6 - gcc/ada/atree.ads | 45 ++-- gcc/ada/checks.adb | 19 +- gcc/ada/cstand.adb | 6 +- .../building_executable_programs_with_gnat.rst | 19 ++ gcc/ada/einfo-utils.adb | 72 +++---- gcc/ada/einfo-utils.ads | 96 ++++----- gcc/ada/einfo.ads | 5 +- gcc/ada/exp_aggr.adb | 9 +- gcc/ada/exp_attr.adb | 5 +- gcc/ada/exp_ch3.adb | 11 +- gcc/ada/exp_ch7.adb | 35 ++- gcc/ada/exp_disp.ads | 6 +- gcc/ada/exp_intr.adb | 5 +- gcc/ada/exp_spark.adb | 1 + gcc/ada/exp_strm.adb | 4 +- gcc/ada/exp_unst.adb | 5 +- gcc/ada/exp_util.adb | 3 +- gcc/ada/freeze.adb | 38 +++- gcc/ada/gcc-interface/decl.c | 22 +- gcc/ada/gcc-interface/trans.c | 2 +- gcc/ada/gen_il-gen-gen_entities.adb | 38 ++-- gcc/ada/gen_il-gen-gen_nodes.adb | 6 +- gcc/ada/gen_il-gen.adb | 7 + gcc/ada/gen_il-internals.adb | 2 +- gcc/ada/gen_il-internals.ads | 7 +- gcc/ada/gen_il-types.ads | 2 + gcc/ada/gnat_ugn.texi | 30 ++- .../libgnat/{a-stream.adb => a-nbnbin__ghost.adb} | 70 +++--- .../libgnat/{a-nbnbin.ads => a-nbnbin__ghost.ads} | 122 ++++++----- gcc/ada/libgnat/g-io-put__vxworks.adb | 53 ----- gcc/ada/libgnat/s-aoinar.adb | 74 ++----- gcc/ada/libgnat/s-aomoar.adb | 80 ++----- gcc/ada/libgnat/s-atopex.adb | 83 ++------ gcc/ada/libgnat/s-atopri.adb | 161 ++------------ gcc/ada/libgnat/s-atopri.ads | 145 +++++-------- gcc/ada/libgnat/s-parame__ae653.ads | 196 ----------------- gcc/ada/libgnat/s-thread.ads | 92 -------- gcc/ada/libgnat/s-thread__ae653.adb | 163 -------------- gcc/ada/libgnat/s-widlllu.ads | 5 +- gcc/ada/libgnat/s-widllu.ads | 5 +- gcc/ada/libgnat/s-widthu.adb | 107 ++++++++++ gcc/ada/libgnat/s-widuns.ads | 5 +- gcc/ada/libgnat/system-vxworks-ppc-ravenscar.ads | 185 ---------------- gcc/ada/libgnat/system-vxworks-ppc.ads | 163 -------------- gcc/ada/libgnat/system-vxworks-x86.ads | 164 --------------- gcc/ada/repinfo.adb | 72 ++++--- gcc/ada/sem.adb | 14 +- gcc/ada/sem_aggr.adb | 23 +- gcc/ada/sem_attr.adb | 8 +- gcc/ada/sem_ch12.adb | 14 +- gcc/ada/sem_ch13.adb | 6 +- gcc/ada/sem_ch3.adb | 234 ++++++++++----------- gcc/ada/sem_ch4.adb | 72 +++++-- gcc/ada/sem_ch6.adb | 170 ++++++++++++--- gcc/ada/sem_ch8.adb | 16 +- gcc/ada/sem_eval.adb | 100 +++++---- gcc/ada/sem_eval.ads | 15 +- gcc/ada/sem_util.adb | 13 +- gcc/ada/sinfo-utils.adb | 29 ++- gcc/ada/sprint.adb | 7 +- gcc/ada/treepr.adb | 15 +- gcc/ada/types.h | 8 +- gcc/ada/uintp.adb | 18 +- gcc/ada/usage.adb | 2 + gcc/ada/vxworks7-cert-rtp-link.spec | 1 + gcc/ada/warnsw.adb | 11 + gcc/ada/warnsw.ads | 8 + 68 files changed, 1197 insertions(+), 2038 deletions(-) copy gcc/ada/libgnat/{a-stream.adb => a-nbnbin__ghost.adb} (63%) copy gcc/ada/libgnat/{a-nbnbin.ads => a-nbnbin__ghost.ads} (72%) delete mode 100644 gcc/ada/libgnat/g-io-put__vxworks.adb delete mode 100644 gcc/ada/libgnat/s-parame__ae653.ads delete mode 100644 gcc/ada/libgnat/s-thread.ads delete mode 100644 gcc/ada/libgnat/s-thread__ae653.adb delete mode 100644 gcc/ada/libgnat/system-vxworks-ppc-ravenscar.ads delete mode 100644 gcc/ada/libgnat/system-vxworks-ppc.ads delete mode 100644 gcc/ada/libgnat/system-vxworks-x86.ads