[Ada] Suppression of elaboration-related warnings
authorHristian Kirtchev <kirtchev@adacore.com>
Wed, 23 May 2018 10:22:30 +0000 (10:22 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Wed, 23 May 2018 10:22:30 +0000 (10:22 +0000)
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

gcc/ada/ChangeLog
gcc/ada/sem_elab.adb

index cfe3b82cc6625943e18392272254e92d2bdf8ee7..31dca9e76c05843277996c6648fb9274435056bb 100644 (file)
@@ -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
index 0ec49c107966244807c310b4fe59f78e92cec008..72d80f81663f240632b1d009586009dd439aef6a 100644 (file)
@@ -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 --