[Ada] Spurious assert failure in Walk_Library_Items

2020-06-05  Arnaud Charlet  <charlet@adacore.com>

gcc/ada/

	* sem.adb (Assert_Done): Relax check for main unit, as it was
	overzealous in the case of the main unit itself.

diff --git a/gcc/ada/sem.adb b/gcc/ada/sem.adb
index 2c5c54b77121ac248cf049f3cb67664531cea8b3..5a723f34a956585ebee735069f597ac9f2e6de57 100644 (file)
--- a/gcc/ada/sem.adb
+++ b/gcc/ada/sem.adb
@@ -1842,7 +1842,9 @@ package body Sem is
 
                procedure Assert_Done (Withed_Unit : Node_Id) is
                begin
-                  if not Done (Get_Cunit_Unit_Number (Withed_Unit)) then
+                  if Withed_Unit /= Main_CU
+                    and then not Done (Get_Cunit_Unit_Number (Withed_Unit))
+                  then
                      if not Nkind_In
                               (Unit (Withed_Unit),
                                  N_Generic_Package_Declaration,