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

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

from 6713cc703c0 pdp11: no debugging info new b3ae28dca10 [Ada] Fix proof of runtime unit System.Value* and System.Image* new 66643a9fe96 [Ada] Update documentation about non-symbolic traceback new 7c339b3b5a6 [Ada] Recover proof of Scaled_Divide in System.Arith_64 new bf52ee6a4f8 [Ada] Fix proof of runtime unit System.Wid_* new e973ea0151a [Ada] Fix proof of runtime unit System.Exp_Mod new 3a4c933f593 [Ada] Add loop variants to Ada.Strings.Search and Ada.Strings.Maps new 08a897d4ff7 [Ada] Extend No_Dependence restriction to code generation ( [...] new 7f64e37c1f6 [Ada] Fix crash on declaration of overaligned array with co [...] new 34d054d126f [Ada] Error on return of object whose full view has undefau [...] new 347dec125b6 [Ada] Adjust previous change to Expand_Subtype_From_Expr

The 10 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: ...ard_and_implementation_defined_restrictions.rst | 4 +- .../doc/gnat_ugn/gnat_and_program_execution.rst | 177 ++- gcc/ada/exp_ch6.adb | 2 +- gcc/ada/exp_util.adb | 19 +- gcc/ada/gnat-style.texi | 68 +- gcc/ada/gnat_rm.texi | 1078 ++++++------- gcc/ada/gnat_ugn.texi | 1593 ++++++++++---------- gcc/ada/libgnat/a-nbnbig.ads | 2 + gcc/ada/libgnat/a-strmap.adb | 4 + gcc/ada/libgnat/a-strsea.adb | 3 + gcc/ada/libgnat/s-aridou.adb | 332 ++-- gcc/ada/libgnat/s-aridou.ads | 1 + gcc/ada/libgnat/s-expmod.adb | 10 + gcc/ada/libgnat/s-imagef.adb | 73 +- gcc/ada/libgnat/s-imagei.adb | 252 ++-- gcc/ada/libgnat/s-imagei.ads | 36 +- gcc/ada/libgnat/s-imageu.adb | 194 ++- gcc/ada/libgnat/s-imageu.ads | 44 +- gcc/ada/libgnat/s-imgint.ads | 27 +- gcc/ada/libgnat/s-imglli.ads | 30 +- gcc/ada/libgnat/s-imgllli.ads | 27 +- gcc/ada/libgnat/s-imglllu.ads | 18 +- gcc/ada/libgnat/s-imgllu.ads | 18 +- gcc/ada/libgnat/s-imguns.ads | 18 +- gcc/ada/libgnat/{s-vallli.ads => s-vaispe.adb} | 93 +- gcc/ada/libgnat/{s-valuei.ads => s-vaispe.ads} | 200 +-- gcc/ada/libgnat/s-valint.ads | 21 +- gcc/ada/libgnat/s-vallli.ads | 22 +- gcc/ada/libgnat/s-valllli.ads | 22 +- gcc/ada/libgnat/s-valuei.adb | 95 +- gcc/ada/libgnat/s-valuei.ads | 188 +-- gcc/ada/libgnat/s-valueu.adb | 444 ++---- gcc/ada/libgnat/s-valueu.ads | 478 +----- gcc/ada/libgnat/s-valuti.ads | 268 +++- gcc/ada/libgnat/s-vauspe.adb | 198 +++ gcc/ada/libgnat/{s-valueu.ads => s-vauspe.ads} | 521 +++---- gcc/ada/libgnat/s-widthu.adb | 16 +- gcc/ada/sem_ch3.adb | 9 +- 38 files changed, 3036 insertions(+), 3569 deletions(-) copy gcc/ada/libgnat/{s-vallli.ads => s-vaispe.adb} (53%) copy gcc/ada/libgnat/{s-valuei.ads => s-vaispe.ads} (51%) create mode 100644 gcc/ada/libgnat/s-vauspe.adb copy gcc/ada/libgnat/{s-valueu.ads => s-vauspe.ads} (62%)