From: Piotr Trojanek <trojanek@adacore.com>
Date: Fri, 1 Dec 2023 16:56:12 +0000 (+0100)
Subject: ada: Cleanup building of error messages for class-wide contracts
X-Git-Tag: basepoints/gcc-16~8419
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=a53e5e7aee9af007943f8a96aec00fce343dab57;p=thirdparty%2Fgcc.git

ada: Cleanup building of error messages for class-wide contracts

Code cleanup; semantics is unaffected.

gcc/ada/

	* exp_ch6.adb (Build_Dynamic_Check_Helper_Call): Remove unused
	iteration over formal parameters.
---

diff --git a/gcc/ada/exp_ch6.adb b/gcc/ada/exp_ch6.adb
index a8a70a5759d..e43389132ae 100644
--- a/gcc/ada/exp_ch6.adb
+++ b/gcc/ada/exp_ch6.adb
@@ -7635,7 +7635,6 @@ package body Exp_Ch6 is
                        Dynamic_Call_Helper (CW_Subp);
          Actuals   : constant List_Id := New_List;
          A         : Node_Id   := First_Actual (Call_Node);
-         F         : Entity_Id := First_Formal (Helper_Id);
 
       begin
          while Present (A) loop
@@ -7646,7 +7645,7 @@ package body Exp_Ch6 is
             Remove_Side_Effects (A);
 
             Append_To (Actuals, New_Copy_Tree (A));
-            Next_Formal (F);
+
             Next_Actual (A);
          end loop;