]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
ada: Default initialize entity to avoid CodePeer message
authorYannick Moy <moy@adacore.com>
Wed, 29 Mar 2023 13:02:32 +0000 (15:02 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Fri, 26 May 2023 07:29:19 +0000 (09:29 +0200)
CodePeer issues a false alarm when reading local entity Component later
if not initialized by default. Fix this.

gcc/ada/

* sem_aggr.adb (Resolve_Record_Aggregate): Add dummy initialization and
assertion that clarifies when we reassigned to a useful value.

gcc/ada/sem_aggr.adb

index 858ae635fc24cd9035cb0e7ff2968f1feab581ed..fd0779e66d7d970456825d9f6b36325bb0ae0f0a 100644 (file)
@@ -6004,6 +6004,7 @@ package body Sem_Aggr is
             end if;
 
             while Present (Selectr) loop
+               Component := Empty;
                New_Assoc := First (New_Assoc_List);
                while Present (New_Assoc) loop
                   Component := First (Choices (New_Assoc));
@@ -6019,6 +6020,11 @@ package body Sem_Aggr is
                   Next (New_Assoc);
                end loop;
 
+               --  If we found an association, then this is a legal component
+               --  of the type in question.
+
+               pragma Assert (if Present (New_Assoc) then Present (Component));
+
                --  If no association, this is not a legal component of the type
                --  in question, unless its association is provided with a box.