From: Piotr Trojanek <trojanek@adacore.com>
Date: Mon, 17 May 2021 21:06:56 +0000 (+0200)
Subject: [Ada] Simplify iteration over pending instantiations
X-Git-Tag: basepoints/gcc-13~6210
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6feab95cbcf0283b6bf4bf2e6e2e38370618930a;p=thirdparty%2Fgcc.git

[Ada] Simplify iteration over pending instantiations

gcc/ada/

	* inline.adb (Instantiate_Bodies): Fix white in declaration.
	(Remove_Dead_Instance): Change iteration from WHILE to FOR.
---

diff --git a/gcc/ada/inline.adb b/gcc/ada/inline.adb
index 589c0f3f16e4..6c330b2522b9 100644
--- a/gcc/ada/inline.adb
+++ b/gcc/ada/inline.adb
@@ -4806,7 +4806,7 @@ package body Inline is
          end if;
       end Instantiate_Body;
 
-      J, K  : Nat;
+      J, K : Nat;
       Info : Pending_Body_Info;
 
    --  Start of processing for Instantiate_Bodies
@@ -5153,17 +5153,12 @@ package body Inline is
    --------------------------
 
    procedure Remove_Dead_Instance (N : Node_Id) is
-      J : Int;
-
    begin
-      J := 0;
-      while J <= Pending_Instantiations.Last loop
+      for J in 0 .. Pending_Instantiations.Last loop
          if Pending_Instantiations.Table (J).Inst_Node = N then
             Pending_Instantiations.Table (J).Inst_Node := Empty;
             return;
          end if;
-
-         J := J + 1;
       end loop;
    end Remove_Dead_Instance;