This is an automated email from the git hooks/post-receive script.

unknown user pushed a change to branch master in repository gcc.

from a1dd66b108c i386: Add *setcc_hi_1* define_insn_and_split [PR97950] new 2307a1aeb8e [Ada] Document characteristics of decimal fixed point types new 02fb12801b1 [Ada] Remove SPARK-specific expansion of array aggregates new 9cfd2c38f39 [Ada] Wrong handling of _ in Big_Reals.From_String new 41273281cef [Ada] Reject Global/Depends contracts on null procedures new 3ac0642304f [Ada] Use high-level Present instead of low-level equality test new 3e65b68dd67 [Ada] Fix resolution of subtype_indication in delta aggregates new 7f0942424b7 [Ada] Implement Big_Integer.From_String fully new 1cc9ecae0ab [Ada] Wrong finalization in call with if expression new 91edb3f66cb [Ada] Fix spurious error on child library-level subprogram [...] new ac9ed5cb265 [Ada] Documentation: update -gnatyk description new 91592d05cd9 [Ada] Handle correctly current instance of PO in local subp [...] new e269fedf8c1 [Ada] Fix String_Literal aspect spec checking problem for scalars. new dcb1cad0e07 [Ada] Fix internal error on multiple nested instantiations new 80a09e02289 [Ada] AI12-0394 Named Numbers and User-Defined Numeric Literals new 2afd55a57d4 [Ada] Small cleanup in the Ada.Text_IO hierarchy new 13209acd648 [Ada] Premature finalization on build in place return and c [...] new fa65696761c [Ada] Wrong resolution of universal_access = operators new 4f94320340e [Ada] Fix crash in GNATprove on inlined subprogram in defau [...] new 218079efc59 [Ada] Accept local objects in the prefix of attribute Loop_Entry new 7883a610443 [Ada] Implement No_Unrecognized_{Aspects,Pragmas} restrictions new 1b55b8d70f4 [Ada] Recognize delta and extension aggregates as objects new 3a6fa9a81bd [Ada] Cleanup expansion of attribute Constrained new 428b1317a5a [Ada] Replace chained if-then-elsif with case stmt for attr [...] new 45ce2307851 [Ada] Simplify Is_Loop_Pragma new 42b91d9a746 [Ada] Reuse In_Same_List where possible new 78004c41f78 [Ada] Compiler crash on assertion pragma in ghost region new cb9d41eb252 [Ada] Fix minor typos in comments new bfe5f951ce9 [Ada] Reuse Is_Packed_Array where possible new eafca96ffb5 [Ada] Cannot process -S -o with GNAT LLVM new 607695354a5 [Ada] Fix inconsistent parameter of SPARK_Msg_NE

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/adabkend.adb | 3 + gcc/ada/checks.adb | 2 +- gcc/ada/contracts.adb | 3 +- .../implementation_defined_characteristics.rst | 4 +- .../building_executable_programs_with_gnat.rst | 3 +- gcc/ada/einfo.adb | 6 +- gcc/ada/einfo.ads | 8 +- gcc/ada/exp_attr.adb | 23 +- gcc/ada/exp_ch4.adb | 3 +- gcc/ada/exp_ch6.adb | 94 ++----- gcc/ada/exp_intr.adb | 5 +- gcc/ada/exp_spark.adb | 296 ++++++--------------- gcc/ada/exp_util.adb | 39 ++- gcc/ada/freeze.adb | 2 +- gcc/ada/gnat_rm.texi | 7 +- gcc/ada/gnat_ugn.texi | 5 +- gcc/ada/lib-load.adb | 2 +- gcc/ada/lib-writ.adb | 2 +- gcc/ada/lib.adb | 2 +- gcc/ada/libgnat/a-nbnbin.adb | 189 ++++++++++++- gcc/ada/libgnat/a-nbnbin.ads | 2 +- gcc/ada/libgnat/a-nbnbre.adb | 11 +- gcc/ada/libgnat/a-nbnbre.ads | 4 +- gcc/ada/libgnat/a-wtdeio.adb | 11 +- gcc/ada/libgnat/a-wtenau.adb | 15 +- gcc/ada/libgnat/a-wtfiio.adb | 7 +- gcc/ada/libgnat/a-wtflio.adb | 7 +- gcc/ada/libgnat/a-wtinio.adb | 11 +- gcc/ada/libgnat/a-wtinio__128.adb | 15 +- gcc/ada/libgnat/a-wtmoio.adb | 11 +- gcc/ada/libgnat/a-wtmoio__128.adb | 11 +- gcc/ada/libgnat/a-ztdeio.adb | 15 +- gcc/ada/libgnat/a-ztenau.adb | 15 +- gcc/ada/libgnat/a-ztfiio.adb | 7 +- gcc/ada/libgnat/a-ztflio.adb | 7 +- gcc/ada/libgnat/a-ztinio.adb | 11 +- gcc/ada/libgnat/a-ztinio__128.adb | 15 +- gcc/ada/libgnat/a-ztmoio.adb | 11 +- gcc/ada/libgnat/a-ztmoio__128.adb | 11 +- gcc/ada/libgnat/s-rident.ads | 2 + gcc/ada/opt.ads | 4 + gcc/ada/osint-c.adb | 1 + gcc/ada/par-ch13.adb | 36 ++- gcc/ada/par-load.adb | 2 +- gcc/ada/par-prag.adb | 9 + gcc/ada/rtsfind.adb | 2 +- gcc/ada/sem_aggr.adb | 52 ++-- gcc/ada/sem_attr.adb | 6 +- gcc/ada/sem_ch10.adb | 3 +- gcc/ada/sem_ch12.adb | 27 +- gcc/ada/sem_ch13.adb | 72 ++++- gcc/ada/sem_ch3.adb | 2 +- gcc/ada/sem_ch8.adb | 3 +- gcc/ada/sem_eval.adb | 2 +- gcc/ada/sem_prag.adb | 80 ++++-- gcc/ada/sem_res.adb | 114 +++++--- gcc/ada/sem_type.adb | 118 ++++++-- gcc/ada/sem_util.adb | 53 ++-- gcc/ada/sem_util.ads | 15 +- gcc/ada/snames.ads-tmpl | 2 + gcc/ada/uintp.ads | 2 +- 61 files changed, 884 insertions(+), 618 deletions(-)