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

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

from 0a32656dc3e MIPS/testsuite: add testcase for -fpatchable-function-entry=2,1 new 840899585a2 ada: Update the condition for ghost call arguments new 891b42a7f18 ada: Update the GNAT RM with assertion level documentation new 405adc4e40e ada: exp_ch6.adb: entirely disable call validation in CodeP [...] new 701fbd4cfba ada: Unsigned_Base_Range aspect (part 4) new 84119759ec0 ada: Fix error message about limited extensions new cc113fac909 ada: Add special-case for 'Constrained on stand-alone objec [...] new 4fb2a53f2e1 ada: Improve error for pre/post on generic formal subprogra [...] new 850c1ad7e3c ada: Remove references to ASIS, explain PolyORB status.

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/aspects.adb | 6 + gcc/ada/doc/gnat_rm/gnat_language_extensions.rst | 24 - gcc/ada/doc/gnat_rm/implementation_advice.rst | 3 +- .../implementation_defined_characteristics.rst | 16 +- .../doc/gnat_rm/implementation_defined_pragmas.rst | 109 +- gcc/ada/doc/gnat_rm/obsolescent_features.rst | 16 +- gcc/ada/doc/gnat_rm/specialized_needs_annexes.rst | 2 +- gcc/ada/doc/gnat_rm/the_gnat_library.rst | 3 +- .../building_executable_programs_with_gnat.rst | 14 +- gcc/ada/exp_ch6.adb | 21 +- gcc/ada/exp_util.adb | 17 + gcc/ada/ghost.adb | 20 +- gcc/ada/gnat_rm.texi | 2002 ++++++++++---------- gcc/ada/gnat_ugn.texi | 18 +- gcc/ada/par-ch4.adb | 6 +- gcc/ada/sem_ch3.adb | 9 +- gcc/ada/sem_prag.adb | 13 +- 17 files changed, 1261 insertions(+), 1038 deletions(-)