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

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

from 95e2a51685d RISC-V: Fix one typo in full-vec-movel test new 230fef15abb ada: Remove explicit decoration of wrapper created in freezing new 067d80d8d59 ada: Support new GNAT-specific aspect Ghost_Predicate new 0c7c1cb41de ada: Simplify appending to a newly created list new fbf4140df11 ada: Tune style in detection of writable function actuals new 109307ebe37 ada: Cleanup expansion of locally handled exception handlers new 0e511e29883 ada: Cleanup finding of locally handled exception handlers new 43118099788 ada: Remove wrong comment about expansion of exceptions for [...] new fc84947c6a9 ada: Factor common processing in expansion of aggregates new be3a8f913fb ada: Fix expansion of aggregates with controlled components new f02be8fc6e1 ada: Use ghost predicate in standard library new af10c962b79 ada: Factor out tag assignments from type in expander new 416bb154d5c ada: Add No_Elaboration_Code_All pragma to System.Storage_Elements new 5c266974094 ada: Mark attribute Initialized as ghost code new ae3fd5e8a75 ada: Fix wrong expansion of limited extension aggregate new d18dd43c1fd ada: Small housekeeping work in expansion of extension aggregates new 0ac91bdbef4 ada: Remove unreferenced routine Is_Inherited_Operation_For_Type new 44eb2bbdcef ada: Remove obsolete code in Analyze_Assignment new c0ceba6c86a ada: Streamline expansion of controlled actions for aggregates new 54dd56f5c82 ada: Fix internal error on imported function with post-condition new ad09934f72f ada: Fix spurious error on call to function returning priva [...] new 5225a2b2ecd ada: Fix exception raised on invalid contract in generic package new 659aeb21940 ada: Fix iterated component initialization new d0ffa8d5155 ada: Fix another case of missing Has_Private_View flag new 204dba400b4 ada: Skip elaboration checks for abstract subprograms on de [...] new dcc601423c2 ada: Implement new aspect Always_Terminates for SPARK new 8c748260776 ada: Disable inlining in potentially unevaluated contexts new 0f1e602e9e3 ada: Recognize iterated_component_association as potentiall [...] new 86b8d11e485 ada: Recognize iterated_component_association as repeatedly [...] new d38366cbaed ada: Add missing ss_mark/ss_release in quantified expressions new f34b31156d2 ada: Fix decoration of iterated component association for G [...]

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.adb | 1 + gcc/ada/aspects.ads | 14 +- gcc/ada/contracts.adb | 76 +- gcc/ada/contracts.ads | 4 + .../doc/gnat_rm/implementation_defined_aspects.rst | 10 + .../doc/gnat_rm/implementation_defined_pragmas.rst | 2 +- gcc/ada/einfo-utils.adb | 1 + gcc/ada/einfo-utils.ads | 1 + gcc/ada/einfo.ads | 5 + gcc/ada/exp_aggr.adb | 1267 +++----------------- gcc/ada/exp_ch11.adb | 132 +- gcc/ada/exp_ch11.ads | 2 +- gcc/ada/exp_ch3.adb | 74 +- gcc/ada/exp_ch4.adb | 54 +- gcc/ada/exp_ch5.adb | 55 +- gcc/ada/exp_ch6.adb | 1 + gcc/ada/exp_disp.adb | 6 +- gcc/ada/exp_prag.adb | 10 + gcc/ada/exp_prag.ads | 4 + gcc/ada/exp_util.adb | 37 +- gcc/ada/exp_util.ads | 7 + gcc/ada/gen_il-fields.ads | 3 +- gcc/ada/gen_il-gen-gen_entities.adb | 1 + gcc/ada/gen_il-gen-gen_nodes.adb | 4 +- gcc/ada/ghost.adb | 48 +- gcc/ada/ghost.ads | 15 + gcc/ada/gnat_rm.texi | 1171 +++++++++--------- gcc/ada/inline.adb | 4 +- gcc/ada/libgnat/a-strsup.ads | 2 +- gcc/ada/libgnat/s-stoele.ads | 3 + gcc/ada/par-prag.adb | 1 + gcc/ada/sem_aggr.adb | 14 +- gcc/ada/sem_attr.adb | 15 +- gcc/ada/sem_case.adb | 1 + gcc/ada/sem_ch12.adb | 122 +- gcc/ada/sem_ch13.adb | 65 +- gcc/ada/sem_ch3.adb | 23 +- gcc/ada/sem_ch4.adb | 27 + gcc/ada/sem_ch5.adb | 159 +-- gcc/ada/sem_elab.adb | 5 +- gcc/ada/sem_eval.adb | 17 +- gcc/ada/sem_prag.adb | 222 +++- gcc/ada/sem_prag.ads | 15 +- gcc/ada/sem_res.adb | 21 +- gcc/ada/sem_util.adb | 61 +- gcc/ada/sem_util.ads | 16 +- gcc/ada/sinfo.ads | 33 +- gcc/ada/snames.ads-tmpl | 3 + gcc/ada/tbuild.adb | 36 +- gcc/ada/tbuild.ads | 11 +- 50 files changed, 1658 insertions(+), 2223 deletions(-)