]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
ada: Cleanup building of error messages for class-wide contracts
authorPiotr Trojanek <trojanek@adacore.com>
Fri, 1 Dec 2023 16:56:12 +0000 (17:56 +0100)
committerMarc Poulhiès <poulhies@adacore.com>
Mon, 10 Jun 2024 09:03:58 +0000 (11:03 +0200)
Code cleanup; semantics is unaffected.

gcc/ada/

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

gcc/ada/exp_ch6.adb

index a8a70a5759dced5440c1b584a60ef92101b23f7a..e43389132ae43727497379179b4e435560b8f064 100644 (file)
@@ -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;