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

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

from 2a2fb3e30c2 bpf: remove unused variables from bpf_expand_{prologue,epilogue} new 33b182f6128 C-SKY: Fix missing operand when do spilt for cskyv2_addcc a [...] new d6b15134378 [Ada] Correctly round Value attribute for floating point in [...] new 8b9bbdc362e [Ada] Improve detection of illegal Iterable aspects new e9bac0faa1e [Ada] Correctly round Value attribute for floating point in [...] new ec95a21b524 [Ada] Add formal verification dependencies to libgnat new 152f968e86d [Ada] ICE handling discriminant-dependent index constraint [...] new ed7bc348b3a [Ada] Bad Valid_Scalars result if signed int component type [...] new 96c20bf1e97 [Ada] Tune message for illegal aspect Relaxed_Initialization new 1dbaf0d99c3 [Ada] Temporarily simplify legality checks for Inox case st [...] new aed54a141a7 [Ada] Document change to legality checks for Inox case statements new 6d16658d7d0 [Ada] Place "at end" on body nodes new c56c7d3aeb0 [Ada] Cope with scalar subtypes that have a non-scalar basetype. new eae9f5d2571 [Ada] Fix a bug in the contract of formal ordered sets new ff6b2a3e705 [Ada] Cleanup unnecessary shadowing in expansion of attribute Old new d644c519672 [Ada] Fix comment about mapping of parameters and inlining [...] new c66e69f3374 [Ada] Handle new At_End expansion during unnesting new 2aef4695708 [Ada] Improve documentation of validation checking control [...] new c889b2e8acc [Ada] Slice length computation bug in Generic_Bounded_Lengt [...] new 1c245f7273f [Ada] Report error in non-legal class-wide conditions new 63499dbd7dd [Ada] Disable if expression optimization for LLVM new 51abc0cc869 [Ada] Enforce matching of extra formals new 8a99a8e6bcf [Ada] Retain Has_Private_View flag for actuals of inlined s [...] new e60709b7824 [Ada] Fix formal parameters list for secondary stack alloca [...] new fc737a6c200 [Ada] Restore missing Aggregate aspect for Ada.Containers.O [...] new 71747dda9d4 [Ada] Enable lock free protected implementation by default new 5e34c91420f [Ada] Disable lock free protected implementation if target [...] new a80e0583973 [Ada] Extend No_Dependence restriction to code generation ( [...] new e2909e105d2 [Ada] Fix missing name for access type in generic instantiation new ef12e74ce7b [Ada] Fix internal error on double renaming of private constant new 0b66f882f7c [Ada] Fix problematic line debug info attached to call to f [...] new fc52efeb9c6 [Ada] Mark artificial formal parameters in the debug info

The 31 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 | 2 + gcc/ada/checks.adb | 3 +- gcc/ada/debug.adb | 8 +- .../doc/gnat_rm/implementation_defined_aspects.rst | 16 +- .../gnat_rm/implementation_defined_attributes.rst | 7 - .../doc/gnat_rm/implementation_defined_pragmas.rst | 3 +- .../building_executable_programs_with_gnat.rst | 81 +- gcc/ada/exp_attr.adb | 99 +- gcc/ada/exp_ch11.adb | 3 - gcc/ada/exp_ch3.adb | 129 ++- gcc/ada/exp_ch3.ads | 16 +- gcc/ada/exp_ch4.adb | 5 + gcc/ada/exp_ch6.adb | 52 +- gcc/ada/exp_ch6.ads | 12 + gcc/ada/exp_ch7.adb | 224 +--- gcc/ada/exp_ch9.adb | 58 +- gcc/ada/exp_unst.adb | 11 +- gcc/ada/exp_util.adb | 3 +- gcc/ada/freeze.adb | 103 +- gcc/ada/gcc-interface/decl.cc | 1 + gcc/ada/gcc-interface/trans.cc | 261 +++-- gcc/ada/gcc-interface/utils.cc | 28 +- gcc/ada/gen_il-fields.ads | 1 - gcc/ada/gen_il-gen-gen_nodes.adb | 10 +- gcc/ada/gnat_rm.texi | 1003 ++++++++-------- gcc/ada/gnat_ugn.texi | 79 +- gcc/ada/inline.adb | 18 +- gcc/ada/libgnarl/s-tpoben.ads | 11 +- gcc/ada/libgnat/a-cforse.ads | 7 +- gcc/ada/libgnat/a-coorse.ads | 6 +- gcc/ada/libgnat/a-strsup.adb | 15 +- gcc/ada/libgnat/a-stwisu.adb | 8 +- gcc/ada/libgnat/a-stzsup.adb | 14 +- gcc/ada/libgnat/s-powflt.ads | 30 +- gcc/ada/libgnat/s-powlfl.ads | 63 +- gcc/ada/libgnat/s-powllf.ads | 73 +- gcc/ada/libgnat/s-valflt.ads | 5 +- gcc/ada/libgnat/s-vallfl.ads | 5 +- gcc/ada/libgnat/s-valllf.ads | 5 +- gcc/ada/libgnat/s-valrea.adb | 345 +++--- gcc/ada/libgnat/s-valrea.ads | 8 +- gcc/ada/libgnat/s-valued.adb | 30 +- gcc/ada/libgnat/s-valuef.adb | 32 +- gcc/ada/libgnat/s-valuer.adb | 192 ++-- gcc/ada/libgnat/s-valuer.ads | 31 +- gcc/ada/sem.ads | 37 +- gcc/ada/sem_attr.adb | 44 +- gcc/ada/sem_case.adb | 27 +- gcc/ada/sem_ch13.adb | 73 +- gcc/ada/sem_ch3.adb | 23 +- gcc/ada/sem_ch4.adb | 85 ++ gcc/ada/sem_ch6.adb | 1194 +++++++++++++++----- gcc/ada/sem_ch6.ads | 16 + gcc/ada/sem_ch9.adb | 368 +++--- gcc/ada/sem_eval.adb | 1 + gcc/ada/sem_prag.adb | 14 +- gcc/ada/sem_util.adb | 62 +- gcc/ada/sem_util.ads | 1 - gcc/ada/sinfo-utils.ads | 6 + gcc/ada/sinfo.ads | 27 +- gcc/ada/snames.adb-tmpl | 3 - gcc/ada/snames.ads-tmpl | 19 +- gcc/ada/sprint.adb | 33 +- gcc/config/csky/csky.md | 6 +- 64 files changed, 3078 insertions(+), 2077 deletions(-)