[Ada] Suppression of elaboration-related warnings

This patch updates the documentation section on suppressing elaboration
warnings. No change in behavior, no need for a test.

2018-05-23  Hristian Kirtchev  <kirtchev@adacore.com>

gcc/ada/

	* sem_elab.adb: Update the section on suppressing elaboration warnings.

From-SVN: r260581

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index cfe3b82cc6625943e18392272254e92d2bdf8ee7..31dca9e76c05843277996c6648fb9274435056bb 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,7 @@
+2018-05-23  Hristian Kirtchev  <kirtchev@adacore.com>
+
+       * sem_elab.adb: Update the section on suppressing elaboration warnings.
+
 2018-05-23  Hristian Kirtchev  <kirtchev@adacore.com>
 
        * einfo.adb (Is_Elaboration_Checks_OK_Id): Use predicate

diff --git a/gcc/ada/sem_elab.adb b/gcc/ada/sem_elab.adb
index 0ec49c107966244807c310b4fe59f78e92cec008..72d80f81663f240632b1d009586009dd439aef6a 100644 (file)
--- a/gcc/ada/sem_elab.adb
+++ b/gcc/ada/sem_elab.adb
@@ -394,33 +394,38 @@ package body Sem_Elab is
    --  suppressed.
    --
    --  In addition to switch -gnatwL, pragma Warnings may be used to suppress
-   --  elaboration-related warnings by wrapping a construct in the following
-   --  manner:
+   --  elaboration-related warnings when used in the following manner:
    --
    --    pragma Warnings ("L");
-   --    <construct>
-   --    pragma Warnings ("l");
+   --    <scenario-or-target>
+   --
+   --    <target>
+   --    pragma Warnings (Off, target);
+   --
+   --    pragma Warnings (Off);
+   --    <scenario-or-target>
    --
    --  * To suppress elaboration warnings for '[Unrestricted_]Access of
    --    entries, operators, and subprograms, either:
    --
-   --      - Wrap the entry, operator, or subprogram, or
-   --      - Wrap the attribute, or
+   --      - Suppress the entry, operator, or subprogram, or
+   --      - Suppress the attribute, or
    --      - Use switch -gnatw.f
    --
    --  * To suppress elaboration warnings for calls to entries, operators,
    --    and subprograms, either:
    --
-   --      - Wrap the entry, operator, or subprogram, or
-   --      - Wrap the call
+   --      - Suppress the entry, operator, or subprogram, or
+   --      - Suppress the call
    --
-   --  * To suppress elaboration warnings for instantiations, wrap the
+   --  * To suppress elaboration warnings for instantiations, suppress the
    --    instantiation.
    --
    --  * To suppress elaboration warnings for task activations, either:
    --
-   --      - Wrap the task object, or
-   --      - Wrap the task type
+   --      - Suppress the task object, or
+   --      - Suppress the task type, or
+   --      - Suppress the activation call
 
    --------------
    -- Switches --