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

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

from 63ae6bc60c0 vect: Fix vectorized BIT_FIELD_REF for signed bit-fields [P [...] new 92eeb32df4f ada: Add leafy mode for zero-call-used-regs new 4a58185d670 ada: Adapt proof of System.Arith_Double to remove CVC4 new 61736805341 ada: hardcfr: mark throw-expected functions new d4d6eda9427 ada: hardcfr: optionally disable in leaf functions new 9105cd90625 ada: Documentation for mixed declarations and statements new bcc2c7fa6ed ada: Simplify assertion to remove CodePeer message new f068a49d950 ada: Add typedefs to snames.h-tmpl new 6de9362acda ada: Follow-up fix for compilation issue with recent MinGW- [...]

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/adaint.c | 3 + gcc/ada/doc/gnat_rm/gnat_language_extensions.rst | 21 +++ .../doc/gnat_rm/security_hardening_features.rst | 28 ++-- gcc/ada/gnat_rm.texi | 141 +++++++++++++-------- gcc/ada/gnat_ugn.texi | 4 +- gcc/ada/libgnat/s-aridou.adb | 82 ++++++++++-- gcc/ada/snames.h-tmpl | 8 +- 7 files changed, 214 insertions(+), 73 deletions(-)