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

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

from deebf06a120 tree-optimization/110563 - simplify epilogue VF checks new fd4f48b3771 ada: Finalization not performed for component of protected type new d1715f6e761 ada: Improve error message on violation of SPARK_Mode rules new 957b48650c8 ada: Avoid crash in Find_Optional_Prim_Op new db01ce5381f ada: Reuse code in Is_Fully_Initialized_Type new d4fea89d289 ada: Refer to non-Ada binding limitations in user guide new 15e2d19ff46 ada: Evaluate static expressions in Range attributes new 70bcf5c4d39 ada: Refactor the proof of the Value and Image runtime units new acaa441a98b ada: Add specification source files of runtime units

The 8 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 | 7 + .../doc/gnat_ugn/the_gnat_compilation_model.rst | 3 + gcc/ada/errout.ads | 1 + gcc/ada/exp_ch7.adb | 2 + gcc/ada/exp_util.adb | 5 + gcc/ada/freeze.adb | 15 +- gcc/ada/gcc-interface/Make-lang.in | 3 + gcc/ada/gnat_ugn.texi | 65 +-- gcc/ada/libgnat/s-imagef.adb | 12 +- gcc/ada/libgnat/s-imagei.adb | 4 +- gcc/ada/libgnat/s-imagei.ads | 17 +- gcc/ada/libgnat/s-imageu.adb | 81 ++-- gcc/ada/libgnat/s-imageu.ads | 20 +- gcc/ada/libgnat/s-imgboo.adb | 6 +- gcc/ada/libgnat/s-imgint.ads | 13 +- gcc/ada/libgnat/s-imglli.ads | 14 +- gcc/ada/libgnat/s-imgllli.ads | 14 +- gcc/ada/libgnat/s-imglllu.ads | 10 +- gcc/ada/libgnat/s-imgllu.ads | 9 +- gcc/ada/libgnat/s-imguns.ads | 9 +- gcc/ada/libgnat/s-vaispe.adb | 10 +- gcc/ada/libgnat/s-vaispe.ads | 42 +- gcc/ada/libgnat/s-valboo.adb | 2 +- gcc/ada/libgnat/s-valboo.ads | 12 +- gcc/ada/libgnat/s-valint.ads | 5 +- gcc/ada/libgnat/s-vallli.ads | 5 +- gcc/ada/libgnat/s-valllli.ads | 5 +- gcc/ada/libgnat/s-vallllu.ads | 3 +- gcc/ada/libgnat/s-valllu.ads | 3 +- gcc/ada/libgnat/{s-valboo.adb => s-valspe.adb} | 60 +-- gcc/ada/libgnat/s-valspe.ads | 211 +++++++++ gcc/ada/libgnat/s-valuei.adb | 6 +- gcc/ada/libgnat/s-valuei.ads | 21 +- gcc/ada/libgnat/s-valueu.adb | 1 + gcc/ada/libgnat/s-valueu.ads | 8 +- gcc/ada/libgnat/s-valuns.ads | 3 +- gcc/ada/libgnat/s-valuti.adb | 50 +-- gcc/ada/libgnat/s-valuti.ads | 474 +-------------------- gcc/ada/libgnat/s-vauspe.ads | 53 +-- gcc/ada/libgnat/{s-valuns.ads => s-vs_int.ads} | 36 +- gcc/ada/libgnat/{s-valuns.ads => s-vs_lli.ads} | 39 +- gcc/ada/libgnat/{s-valuns.ads => s-vs_llu.ads} | 37 +- gcc/ada/libgnat/{s-valuns.ads => s-vs_uns.ads} | 32 +- gcc/ada/libgnat/{s-valuns.ads => s-vsllli.ads} | 39 +- gcc/ada/libgnat/{s-valuns.ads => s-vslllu.ads} | 37 +- gcc/ada/sem_attr.adb | 16 +- gcc/ada/sem_prag.adb | 4 +- gcc/ada/sem_util.adb | 2 +- 48 files changed, 576 insertions(+), 950 deletions(-) copy gcc/ada/libgnat/{s-valboo.adb => s-valspe.adb} (71%) create mode 100644 gcc/ada/libgnat/s-valspe.ads copy gcc/ada/libgnat/{s-valuns.ads => s-vs_int.ads} (78%) copy gcc/ada/libgnat/{s-valuns.ads => s-vs_lli.ads} (77%) copy gcc/ada/libgnat/{s-valuns.ads => s-vs_llu.ads} (77%) copy gcc/ada/libgnat/{s-valuns.ads => s-vs_uns.ads} (80%) copy gcc/ada/libgnat/{s-valuns.ads => s-vsllli.ads} (77%) copy gcc/ada/libgnat/{s-valuns.ads => s-vslllu.ads} (77%)