From: Piotr Trojanek <trojanek@adacore.com>
Date: Thu, 4 Jan 2024 18:26:12 +0000 (+0100)
Subject: ada: Update comment about implicit inputs of Depends contract
X-Git-Tag: basepoints/gcc-16~9315
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=f18a632749b8b2ccfcf83454f60cfeb9958c36d2;p=thirdparty%2Fgcc.git

ada: Update comment about implicit inputs of Depends contract

Sync comment with the updated SPARK RM rules.

gcc/ada/

	* sem_prag.adb (Collect_Global_Item): Update comment.
---

diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb
index 5764992237b..0eb4450dba3 100644
--- a/gcc/ada/sem_prag.adb
+++ b/gcc/ada/sem_prag.adb
@@ -31669,8 +31669,7 @@ package body Sem_Prag is
                Append_New_Elmt (Formal, Subp_Outputs);
 
                --  OUT parameters can act as inputs when the related type is
-               --  tagged, unconstrained array, unconstrained record, or record
-               --  with unconstrained components.
+               --  tagged, unconstrained array or unconstrained record.
 
                if Ekind (Formal) = E_Out_Parameter
                  and then Is_Unconstrained_Or_Tagged_Item (Formal)