From: Eric Botcazou <ebotcazou@adacore.com>
Date: Mon, 22 Jul 2019 13:58:41 +0000 (+0000)
Subject: [Ada] More complete information level for -gnatR4 output
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=46ebb491f19cfdb9c8953afc0f30c6417555a2c1;p=gcc.git

[Ada] More complete information level for -gnatR4 output

This instructs -gnatR4 to also list the Etype of user-declared objects
if it is compiler-generated, for example in:

package P2 is

  Arr_V : array (1 .. 5) of Integer;

end P2;

2019-07-22  Eric Botcazou  <ebotcazou@adacore.com>

gcc/ada/

	* repinfo.adb (List_Entities): Also list compiled-generated
	types present as Etype of objects.

From-SVN: r273697
---

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 26af730c6e3..db77736f321 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,8 @@
+2019-07-22  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* repinfo.adb (List_Entities): Also list compiled-generated
+	types present as Etype of objects.
+
 2019-07-22  Eric Botcazou  <ebotcazou@adacore.com>
 
 	* sinfo.ads: Update the documentation about the
diff --git a/gcc/ada/repinfo.adb b/gcc/ada/repinfo.adb
index c378fb634a2..a277bab6cdf 100644
--- a/gcc/ada/repinfo.adb
+++ b/gcc/ada/repinfo.adb
@@ -563,6 +563,13 @@ package body Repinfo is
                                   E_Loop_Parameter,
                                   E_Variable)
                then
+                  --  The type is relevant for an object
+
+                  if List_Representation_Info = 4 and then Is_Itype (Etype (E))
+                  then
+                     Relevant_Entities.Set (Etype (E), True);
+                  end if;
+
                   if List_Representation_Info >= 2 then
                      List_Object_Info (E);
                   end if;