diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index fecd0f16b48..0d478b01bb1 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,7 @@
+2018-05-29  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* repinfo.adb (List_Entities): Also recurse into blocks without label.
+
 2018-05-29  Ed Schonberg  <schonberg@adacore.com>
 
 	* exp_ch6.adb (Expand_N_Subprogram_Body): Do not generate push/pop for
diff --git a/gcc/ada/repinfo.adb b/gcc/ada/repinfo.adb
index 1a85c8ff90e..a88a3f248a3 100644
--- a/gcc/ada/repinfo.adb
+++ b/gcc/ada/repinfo.adb
@@ -408,7 +408,12 @@ package body Repinfo is
             --  info for the full view). If debug flag A is set, then all
             --  entities are listed
 
-            if (Comes_From_Source (E)
+            if ((Comes_From_Source (E)
+                   or else (Ekind (E) = E_Block
+                              and then
+                            Nkind (Parent (E)) = N_Implicit_Label_Declaration
+                              and then
+                            Comes_From_Source (Label_Construct (Parent (E)))))
               and then not Is_Incomplete_Or_Private_Type (E)
               and then not (Ekind (E) = E_Constant
                               and then Present (Full_View (E))))