diff options
| author | Steve Baird <baird@adacore.com> | 2024-05-24 14:14:03 -0700 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2024-06-20 10:50:57 +0200 |
| commit | 36bd57330f9b8f06206c909af53cd8b3ca6f6bed (patch) | |
| tree | c08652c0fd338691d3c172c53e56fd1aaf15c40d /gcc/ada/doc/gnat_rm | |
| parent | ecb84b0aa4eac2050eedd7f9a66dd7393d5d31c2 (diff) | |
| download | gcc-36bd57330f9b8f06206c909af53cd8b3ca6f6bed.zip gcc-36bd57330f9b8f06206c909af53cd8b3ca6f6bed.tar.gz gcc-36bd57330f9b8f06206c909af53cd8b3ca6f6bed.tar.bz2 | |
ada: Replace "All" argument to Extensions_Allowed pragma with "All_Extensions"
The argument to pragma Extensions_Allowed to enable all extensions is
no longer "All", but instead "All_Extensions".
gcc/ada/
* doc/gnat_rm/gnat_language_extensions.rst: Update documentation.
* doc/gnat_rm/implementation_defined_pragmas.rst: Update
documentation.
* errout.adb
(Error_Msg_GNAT_Extension): Update error message text.
* par-prag.adb: Update pragma parsing. This includes changing the
the name of the Check_Arg_Is_On_Or_Off formal parameter All_OK_Too
to All_Extensions_OK_Too.
* sem_prag.adb (Analyze_Pragma): In analyzing an
Extensions_Allowed pragma, replace uses of Name_All with
Name_All_Extensions; update a comment to reflect this.
* snames.ads-tmpl: Add Name_All_Extensions declaration.
* gnat_rm.texi: Regenerate.
Diffstat (limited to 'gcc/ada/doc/gnat_rm')
| -rw-r--r-- | gcc/ada/doc/gnat_rm/gnat_language_extensions.rst | 5 | ||||
| -rw-r--r-- | gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst | 10 |
2 files changed, 8 insertions, 7 deletions
diff --git a/gcc/ada/doc/gnat_rm/gnat_language_extensions.rst b/gcc/ada/doc/gnat_rm/gnat_language_extensions.rst index f71e8f6..d06ac4c 100644 --- a/gcc/ada/doc/gnat_rm/gnat_language_extensions.rst +++ b/gcc/ada/doc/gnat_rm/gnat_language_extensions.rst @@ -37,8 +37,9 @@ file, or in a ``.adc`` file corresponding to your project. .. attention:: You can activate the extended set of extensions by using either the ``-gnatX0`` command line flag, or the pragma ``Extensions_Allowed`` with - ``All`` as an argument. However, it is not recommended you use this subset - for serious projects, and is only means as a playground/technology preview. + ``All_Extensions`` as an argument. However, it is not recommended you use + this subset for serious projects; it is only meant as a technology preview + for use in playground experiments. .. _Curated_Language_Extensions: diff --git a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst index 6c08eae..f31a1b9 100644 --- a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst +++ b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst @@ -2208,19 +2208,19 @@ Syntax: .. code-block:: ada - pragma Extensions_Allowed (On | Off | All); + pragma Extensions_Allowed (On | Off | All_Extensions); -This configuration pragma enables (via the "On" or "All" argument) or disables -(via the "Off" argument) the implementation extension mode; the pragma takes -precedence over the ``-gnatX`` and ``-gnatX0`` command switches. +This configuration pragma enables (via the "On" or "All_Extensions" argument) +or disables (via the "Off" argument) the implementation extension mode; the +pragma takes precedence over the ``-gnatX`` and ``-gnatX0`` command switches. If an argument of ``"On"`` is specified, the latest version of the Ada language is implemented (currently Ada 2022) and, in addition, a curated set of GNAT specific extensions are recognized. (See the list here :ref:`here<Curated_Language_Extensions>`) -An argument of ``"All"`` has the same effect except that some extra +An argument of ``"All_Extensions"`` has the same effect except that some extra experimental extensions are enabled (See the list here :ref:`here<Experimental_Language_Extensions>`) |