This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch master in repository gcc.
from fe6acd8f2f8 [Ada] Revert change for gnatprove that is no longer needed new 697113bd1ef [Ada] Sem_Ch13: fix uninitialized parameter static analysis [...] new c20c73fab8b [Ada] Get rid of linear searches in Lib new 6b466b3442b [Ada] Pragma Warning_As_Error works for style warnings new a8e38e22c16 [Ada] Object_Size clause specifying 0 bits is illegal new d5253a27eb3 [Ada] Warning for out-of-order record representation clauses new 2d7d0768008 [Ada] Efficiency improvement in bounded ordered containers new 5814355aa31 [Ada] Warn on Unchecked_Conversion to zero-sized array new f51979c5749 [Ada] Fix a folding issue with System'To_Address new a9cd3578cdc [Ada] More complete information level for -gnatR4 output new d3589e82cde [Ada] Improve generated code for initialization of atomics new c1af2733e5f [Ada] Enable delta_aggregate only in Ada 2020 mode new 6b0b9e72e65 [Ada] New pragma Aggregate_Individually_Assign new cb4340ba75a [Ada] Illegal limited function call accepted in a type conversion new 1b86a7ca39f [Ada] Suppress Initialize_Scalars for Persistent_BSS new bde0f5d5e44 [Ada] Spurious error in dispatching call with class-wide pr [...] new 01c307f1688 [Ada] Crash on Loop_Entry for while_loop involving substrings new 4c995b3ef82 [Ada] Fix propagation of compiler internal flag new 35475a84676 [Ada] Set GNAT.OS_Lib.GM_Split's granularity back to 1 second new 7a5b8c31b1b [Ada] Minor reformattings new 80012fc8a20 [Ada] Improve speed of discriminated return types new 952fd477845 [Ada] Improve efficiency of aggregates with <> new 832af6f73f8 [Ada] Adapt GNATprove expansion for slices with access prefix new 5c492d3cef3 [Ada] Inconsistent scope chain due to quantified expression new bedde605bb8 [Ada] Crash on a Storage_Size aspect depending on attr. of [...] new d477dcdebea [Ada] Unnesting: take inlining (-gnatn) into account
The 25 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 | 238 +++ gcc/ada/adaint.c | 9 +- gcc/ada/ali.adb | 2 +- gcc/ada/ali.ads | 12 +- gcc/ada/aspects.adb | 4 +- gcc/ada/checks.adb | 2 +- gcc/ada/checks.ads | 2 +- .../doc/gnat_rm/implementation_defined_pragmas.rst | 40 +- .../building_executable_programs_with_gnat.rst | 25 +- gcc/ada/einfo.ads | 14 +- gcc/ada/errout.adb | 2 +- gcc/ada/erroutc.adb | 200 ++- gcc/ada/erroutc.ads | 2 +- gcc/ada/exp_aggr.adb | 18 +- gcc/ada/exp_attr.adb | 19 + gcc/ada/exp_ch11.adb | 7 +- gcc/ada/exp_ch13.adb | 40 +- gcc/ada/exp_ch3.ads | 8 +- gcc/ada/exp_ch4.adb | 8 +- gcc/ada/exp_ch6.adb | 109 +- gcc/ada/exp_disp.adb | 42 +- gcc/ada/exp_spark.adb | 42 +- gcc/ada/exp_unst.adb | 43 +- gcc/ada/exp_util.adb | 1 + gcc/ada/freeze.adb | 1 + gcc/ada/gnat_rm.texi | 1697 ++++++++++---------- gcc/ada/gnat_ugn.texi | 32 +- gcc/ada/inline.adb | 4 +- gcc/ada/lib-load.adb | 33 +- gcc/ada/lib-writ.adb | 1 + gcc/ada/lib.adb | 44 +- gcc/ada/lib.ads | 41 +- gcc/ada/libgnat/a-cborma.adb | 4 +- gcc/ada/libgnat/a-cborse.adb | 4 +- gcc/ada/libgnat/a-locale.ads | 6 +- gcc/ada/libgnat/s-soflin.ads | 7 +- gcc/ada/opt.ads | 33 +- gcc/ada/par-ch4.adb | 4 +- gcc/ada/par-prag.adb | 17 +- gcc/ada/par_sco.adb | 4 +- gcc/ada/repinfo.adb | 13 +- gcc/ada/sem_aggr.adb | 5 + gcc/ada/sem_ch13.adb | 149 +- gcc/ada/sem_ch3.adb | 42 +- gcc/ada/sem_ch4.adb | 48 +- gcc/ada/sem_ch5.adb | 11 +- gcc/ada/sem_disp.adb | 4 +- gcc/ada/sem_elab.adb | 4 +- gcc/ada/sem_eval.adb | 28 +- gcc/ada/sem_prag.adb | 108 +- gcc/ada/sem_spark.adb | 27 +- gcc/ada/sem_spark.ads | 3 +- gcc/ada/sem_util.adb | 33 + gcc/ada/sem_util.ads | 6 + gcc/ada/sinfo.ads | 3 +- gcc/ada/snames.ads-tmpl | 2 + gcc/ada/stringt.adb | 11 + gcc/ada/stringt.ads | 3 + gcc/ada/warnsw.adb | 11 + gcc/ada/warnsw.ads | 7 + gcc/testsuite/ChangeLog | 24 + gcc/testsuite/gnat.dg/loop_entry2.adb | 11 + gcc/testsuite/gnat.dg/object_size1.adb | 13 + gcc/testsuite/gnat.dg/storage_size1.adb | 19 + .../gnat.dg/{predicate12.adb => tagged5.adb} | 4 +- gcc/testsuite/gnat.dg/tagged5.ads | 18 + gcc/testsuite/gnat.dg/type_conv2.adb | 16 + gcc/testsuite/gnat.dg/type_conv2.ads | 13 + gcc/testsuite/gnat.dg/unchecked_convert14.adb | 30 + 69 files changed, 2184 insertions(+), 1303 deletions(-) create mode 100644 gcc/testsuite/gnat.dg/loop_entry2.adb create mode 100644 gcc/testsuite/gnat.dg/object_size1.adb create mode 100644 gcc/testsuite/gnat.dg/storage_size1.adb copy gcc/testsuite/gnat.dg/{predicate12.adb => tagged5.adb} (63%) create mode 100644 gcc/testsuite/gnat.dg/tagged5.ads create mode 100644 gcc/testsuite/gnat.dg/type_conv2.adb create mode 100644 gcc/testsuite/gnat.dg/type_conv2.ads create mode 100644 gcc/testsuite/gnat.dg/unchecked_convert14.adb