[gcc r14-4752] ada: Add pragma Annotate for GNATcheck exemptions

[Marc Poulhi?s <dkm@gcc.gnu.org>]

https://gcc.gnu.org/g:0f3c6348403ad1f6d077f6a09d914f5ec369f784

commit r14-4752-g0f3c6348403ad1f6d077f6a09d914f5ec369f784
Author: Sheri Bernstein <bernstein@adacore.com>
Date:   Fri Oct 6 03:36:49 2023 +0000

    ada: Add pragma Annotate for GNATcheck exemptions
    
    Exempt the GNATcheck rule "Unassigned_OUT_Parameters"
    with the rationale "the OUT parameter is assigned by component".
    
    gcc/ada/
    
            * libgnat/s-imguti.adb (Set_Decimal_Digits): Add pragma to exempt
            Unassigned_OUT_Parameters.
            (Set_Floating_Invalid_Value): Likewise

Diff:
---
 gcc/ada/libgnat/s-imguti.adb | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/gcc/ada/libgnat/s-imguti.adb b/gcc/ada/libgnat/s-imguti.adb
index 4b9e27a7d8f1..cb0811089508 100644
--- a/gcc/ada/libgnat/s-imguti.adb
+++ b/gcc/ada/libgnat/s-imguti.adb
@@ -37,6 +37,8 @@ package body System.Img_Util is
    -- Set_Decimal_Digits --
    ------------------------
 
+   pragma Annotate (Gnatcheck, Exempt_On, "Unassigned_OUT_Parameters",
+                    "the OUT parameter is assigned by component");
    procedure Set_Decimal_Digits
      (Digs  : in out String;
       NDigs : Natural;
@@ -47,6 +49,8 @@ package body System.Img_Util is
       Aft   : Natural;
       Exp   : Natural)
    is
+      pragma Annotate (Gnatcheck, Exempt_Off, "Unassigned_OUT_Parameters");
+
       pragma Assert (NDigs >= 1);
       pragma Assert (Digs'First = 1);
       pragma Assert (Digs'First < Digs'Last);
@@ -413,6 +417,8 @@ package body System.Img_Util is
    -- Set_Floating_Invalid_Value --
    --------------------------------
 
+   pragma Annotate (Gnatcheck, Exempt_On, "Unassigned_OUT_Parameters",
+                    "the OUT parameter is assigned by component");
    procedure Set_Floating_Invalid_Value
      (V    : Floating_Invalid_Value;
       S    : out String;
@@ -421,6 +427,8 @@ package body System.Img_Util is
       Aft  : Natural;
       Exp  : Natural)
    is
+      pragma Annotate (Gnatcheck, Exempt_Off, "Unassigned_OUT_Parameters");
+
       procedure Set (C : Character);
       --  Sets character C in output buffer