From: Arnaud Charlet <charlet@adacore.com>
Date: Tue, 2 Jun 2020 06:57:11 +0000 (-0400)
Subject: [Ada] Potential access to uninitialized variable
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=fa02302bc17def4530df18fd5d77d0236cacb395;p=gcc.git

[Ada] Potential access to uninitialized variable

gcc/ada/

	* sem_aggr.adb (Resolve_Iterated_Component_Association): Ensure
	Typ is never accessed uninitialized.
---

diff --git a/gcc/ada/sem_aggr.adb b/gcc/ada/sem_aggr.adb
index 31496bee1dd..d2419d9bde5 100644
--- a/gcc/ada/sem_aggr.adb
+++ b/gcc/ada/sem_aggr.adb
@@ -2677,7 +2677,7 @@ package body Sem_Aggr is
          Ent    : Entity_Id;
          Expr   : Node_Id;
          Id     : Entity_Id;
-         Typ    : Entity_Id;
+         Typ    : Entity_Id := Empty;
 
       begin
          if Present (Iterator_Specification (Comp)) then
@@ -2727,7 +2727,9 @@ package body Sem_Aggr is
          --  expression will reference the internal (synonym) loop variable.
 
          Enter_Name (Id);
+
          if No (Key_Type) then
+            pragma Assert (Present (Typ));
             Set_Etype (Id, Typ);
          else
             Set_Etype (Id, Key_Type);