From: Yannick Moy <moy@adacore.com>
Date: Wed, 29 Mar 2023 13:02:32 +0000 (+0200)
Subject: ada: Default initialize entity to avoid CodePeer message
X-Git-Tag: basepoints/gcc-15~8850
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=54783e61dd9bfd0f0289890ba9240deeef1af81a;p=thirdparty%2Fgcc.git

ada: Default initialize entity to avoid CodePeer message

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.
---

diff --git a/gcc/ada/sem_aggr.adb b/gcc/ada/sem_aggr.adb
index 858ae635fc24..fd0779e66d7d 100644
--- a/gcc/ada/sem_aggr.adb
+++ b/gcc/ada/sem_aggr.adb
@@ -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.