Ada RM M.2 gives a list of implementation-defined characteristics, each of which is required to be documented. This requirement is addressed in the "Implementation Defined Characteristics" section of the GNAT RM. This section needs to be updated to reflect changes to the Ada RM M.2 over the last few years.
Tested on x86_64-pc-linux-gnu, committed on trunk gcc/ada/ * doc/gnat_rm/implementation_defined_characteristics.rst: Update this section to reflect the current version of Ada RM M.2. * gnat_rm.texi: Regenerate.
patch.diff.gz
Description: application/gzip