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

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

from 5e9f814d754 rs6000: Change rs6000_expand_vector_set param new 73e07f1cd9b [Ada] Optimize magnitude of integer operations for fixed point new 890cfc503ac [Ada] Fix oversignt in genericized package System.Value_R new 9df8679166e [Ada] Error in Big_Real comparison new 69144d48686 [Ada] Small tweaks to new implementation of Set_Image_Fixed new 946a5b8d646 [Ada] To_Big_Integer and 128bits integers new 94a5437d3b4 [Ada] Adjust head comment of various subprograms in Exp_Fixd new 78287696dc5 [Ada] Fix tree for expanded instantiations corresponding to [...] new bf85ff03b3e [Ada] Emit error messages for null/generic nonreturning procedures new 05e59503c6e [Ada] Abort defer mismatch with SJLJ exceptions new 2d1504186ee [Ada] Simplify check for illegal non-returning procedures new 84c54629c2f [Ada] Optimize generation of checks for fixed-point types new 7943c4dbb80 [Ada] Reimplement Ada.Numerics.Big_Numbers.Big_Reals.Float_ [...] new bc1304f6a19 [Ada] Move down call to Narrow_Large_Operation in Expand_N_ [...] new a2481afdfca [Ada] Change parameter from access type to mode out new cc7c52c1d9c [Ada] Restore general case for folding comparison of static [...] new e2df2023456 [Ada] Do not compile predefined units with -gnatp in gnatmake new 3e9238fa643 [Ada] Assertion_Policy is not a valid assertion policy new 79b149b19d9 [Ada] Sync doc and code for pragma Assertion_Policy new 8ff03120fc5 [Ada] Default_Initial_Condition assertion policy is now RM defined new 23e3e221057 [Ada] Implement AI12-0187 (Stable properties of abstract da [...] new 7d4ee5f8e2a [Ada] To_GM_Time returning invalid value for Invalid_Time new 9884fc7e79e [Ada] Do not use 128-bit division for 64-bit fixed-point types new fdd0a844894 [Ada] Do not apply range checks inside generics in GNATprove mode new a873cb9978c [Ada] Small improvement to System.Value_R.Scan_Raw_Real new a0f2ee7a7f9 [Ada] Restore access type instead of mode out parameter new d6a52e47ac1 [Ada] Reference before declaration on C392015 new 4a3b4c2a453 [Ada] Wrong compile time evaluation of Shift_Right new 586f6dd1f62 [Ada] Reuse Append_New_Elmt where possible new 4e6b87e933b [Ada] Simplify Parent_Is_Boolean with subtype memberships new def0e5b83dd [Ada] Small tweaks to couple of Value routines

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 | 28 +- gcc/ada/aspects.ads | 50 ++- gcc/ada/checks.adb | 194 +++++---- gcc/ada/checks.ads | 15 + gcc/ada/contracts.adb | 264 +++++++++++- gcc/ada/cstand.adb | 6 +- .../doc/gnat_rm/implementation_defined_pragmas.rst | 23 +- gcc/ada/einfo.ads | 6 +- gcc/ada/exp_ch11.adb | 75 ---- gcc/ada/exp_ch4.adb | 67 ++- gcc/ada/exp_ch6.adb | 3 +- gcc/ada/exp_ch9.adb | 15 +- gcc/ada/exp_fixd.adb | 107 ++--- gcc/ada/exp_sel.adb | 18 +- gcc/ada/exp_sel.ads | 9 +- gcc/ada/gnat_rm.texi | 25 +- gcc/ada/libgnarl/s-tasren.adb | 14 +- gcc/ada/libgnarl/s-tpobop.adb | 10 - gcc/ada/libgnat/a-except.adb | 30 -- gcc/ada/libgnat/a-nbnbin.adb | 4 +- gcc/ada/libgnat/a-nbnbre.adb | 185 ++++++++- gcc/ada/libgnat/s-genbig.adb | 26 +- gcc/ada/libgnat/s-genbig.ads | 4 + gcc/ada/libgnat/s-imagef.adb | 45 ++- gcc/ada/libgnat/s-os_lib.adb | 25 +- gcc/ada/libgnat/s-valuef.adb | 5 +- gcc/ada/libgnat/s-valuer.adb | 58 ++- gcc/ada/make.adb | 6 +- gcc/ada/sem_ch12.adb | 2 +- gcc/ada/sem_ch13.adb | 450 ++++++++++++++++++++- gcc/ada/sem_ch13.ads | 6 + gcc/ada/sem_ch6.adb | 12 +- gcc/ada/sem_eval.adb | 147 ++++--- gcc/ada/sem_prag.adb | 61 ++- gcc/ada/sem_res.adb | 58 +-- gcc/ada/sem_util.adb | 17 +- gcc/ada/snames.ads-tmpl | 1 + 37 files changed, 1502 insertions(+), 569 deletions(-)