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

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

from 19cc4b9d749 c++: Make -Wunknown-pragmas controllable by #pragma GCC dia [...] new 7b1b787baa6 ada: Simplify "not Present" with "No" new 0c29a990a64 ada: Seize opportunity to reuse List_Length new 1555d18143d ada: Document gnatbind -Q switch new 0f3c6348403 ada: Add pragma Annotate for GNATcheck exemptions new c1fbfe5acbf ada: Refactor code to remove GNATcheck violation new 04d6c74564b ada: Support new SPARK aspect Side_Effects

The 6 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.ads | 6 + gcc/ada/bindusg.adb | 2 +- gcc/ada/contracts.adb | 3 + gcc/ada/contracts.ads | 2 + .../doc/gnat_rm/implementation_defined_aspects.rst | 6 + .../doc/gnat_rm/implementation_defined_pragmas.rst | 14 + .../building_executable_programs_with_gnat.rst | 29 +- gcc/ada/einfo-utils.adb | 1 + gcc/ada/einfo-utils.ads | 1 + gcc/ada/errout.ads | 18 +- gcc/ada/exp_aggr.adb | 2 +- gcc/ada/gnat-style.texi | 4 +- gcc/ada/gnat_rm.texi | 1355 ++++++++++---------- gcc/ada/gnat_ugn.texi | 41 +- gcc/ada/libgnat/s-imagef.adb | 75 +- gcc/ada/libgnat/s-imguti.adb | 8 + gcc/ada/par-prag.adb | 1 + gcc/ada/sem_ch13.adb | 17 + gcc/ada/sem_ch3.adb | 8 +- gcc/ada/sem_ch6.adb | 103 +- gcc/ada/sem_ch6.ads | 4 + gcc/ada/sem_prag.adb | 305 ++++- gcc/ada/sem_prag.ads | 54 +- gcc/ada/sem_util.adb | 30 + gcc/ada/sem_util.ads | 4 + gcc/ada/snames.ads-tmpl | 2 + 26 files changed, 1271 insertions(+), 824 deletions(-)