[Ada] Remove redundant check in iteration over formal parameters

gcc/ada/

	* freeze.adb (Build_Renamed_Body): Simplify IF and WHILE
	statements with the same condition.

diff --git a/gcc/ada/freeze.adb b/gcc/ada/freeze.adb
index cb3b037..806677a 100644 (file)
--- a/gcc/ada/freeze.adb
+++ b/gcc/ada/freeze.adb
@@ -478,12 +478,10 @@ package body Freeze is
          Actuals := No_List;
       end if;
 
-      if Present (Formal) then
-         while Present (Formal) loop
-            Append (New_Occurrence_Of (Formal, Loc), Actuals);
-            Next_Formal (Formal);
-         end loop;
-      end if;
+      while Present (Formal) loop
+         Append (New_Occurrence_Of (Formal, Loc), Actuals);
+         Next_Formal (Formal);
+      end loop;
 
       --  If the renamed entity is an entry, inherit its profile. For other
       --  renamings as bodies, both profiles must be subtype conformant, so it