[Ada] Cleanup iteration over aggregate component associations

[Ada] Cleanup iteration over aggregate component associations

[Marc Poulhiès]

[-- Attachment #1: Type: text/plain, Size: 283 bytes --]

Code cleanup related to fixes for iterated component associations in
GNATprove ; semantics is unaffected.

Tested on x86_64-pc-linux-gnu, committed on trunk

gcc/ada/

	* sem_aggr.adb
	(Resolve_Container_Aggregate): Style cleanup.
	(Resolve_Record_Aggregate): Remove redundant guard.

[-- Attachment #2: patch.diff --]
[-- Type: text/x-diff, Size: 797 bytes --]

diff --git a/gcc/ada/sem_aggr.adb b/gcc/ada/sem_aggr.adb
--- a/gcc/ada/sem_aggr.adb
+++ b/gcc/ada/sem_aggr.adb
@@ -3182,7 +3182,7 @@ package body Sem_Aggr is
             end if;
          end;
 
-      elsif  Present (Add_Named_Subp) then
+      elsif Present (Add_Named_Subp) then
          declare
             --  Retrieves types of container, key, and element from the
             --  specified insertion procedure.
@@ -5048,9 +5048,7 @@ package body Sem_Aggr is
       --    OTHERS cannot be used.
       --    Positional and named associations cannot be mixed.
 
-      if Present (Component_Associations (N))
-        and then Present (First (Component_Associations (N)))
-      then
+      if Present (Component_Associations (N)) then
          declare
             Assoc : Node_Id;