From 46ebb491f19cfdb9c8953afc0f30c6417555a2c1 Mon Sep 17 00:00:00 2001 From: Eric Botcazou Date: Mon, 22 Jul 2019 13:58:41 +0000 Subject: [PATCH] [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 gcc/ada/ * repinfo.adb (List_Entities): Also list compiled-generated types present as Etype of objects. From-SVN: r273697 --- gcc/ada/ChangeLog | 5 +++++ gcc/ada/repinfo.adb | 7 +++++++ 2 files changed, 12 insertions(+) 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 + + * repinfo.adb (List_Entities): Also list compiled-generated + types present as Etype of objects. + 2019-07-22 Eric Botcazou * 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; -- 2.30.2