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;