From 5a3070dff1aa805d425d97468ce6b817aa3156a3 Mon Sep 17 00:00:00 2001
From: Piotr Trojanek <trojanek@adacore.com>
Date: Thu, 7 Jan 2021 11:50:51 +0100
Subject: [PATCH] [Ada] Simplify iteration over formal parameters for
Global/Depends check
gcc/ada/
* sem_prag.adb (Collect_Global_Item): Iterate directly over
formals.
---
gcc/ada/sem_prag.adb | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb
index 0eb6ff653606..645b892ddd19 100644
--- a/gcc/ada/sem_prag.adb
+++ b/gcc/ada/sem_prag.adb
@@ -30246,7 +30246,7 @@ package body Sem_Prag is
-- Process all formal parameters
- Formal := First_Entity (Spec_Id);
+ Formal := First_Formal (Spec_Id);
while Present (Formal) loop
if Ekind (Formal) in E_In_Out_Parameter | E_In_Parameter then
Append_New_Elmt (Formal, Subp_Inputs);
@@ -30277,7 +30277,7 @@ package body Sem_Prag is
Append_New_Elmt (Formal, Subp_Outputs);
end if;
- Next_Entity (Formal);
+ Next_Formal (Formal);
end loop;
-- Otherwise the input denotes a task type, a task body, or the
--
GitLab