diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2020-02-02 19:42:50 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-05 08:17:49 -0400 |
| commit | c8e89a6de5d926701e0a68dba5ace9f27c33725a (patch) | |
| tree | 3708ab54ffda8145bc1616f74b8827a9adcfe874 | |
| parent | 2db2527a8dc7e2d2da8893a339ec863b72079bb4 (diff) | |
| download | gcc-c8e89a6de5d926701e0a68dba5ace9f27c33725a.zip gcc-c8e89a6de5d926701e0a68dba5ace9f27c33725a.tar.gz gcc-c8e89a6de5d926701e0a68dba5ace9f27c33725a.tar.bz2 | |
[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.
| -rw-r--r-- | gcc/ada/sem.adb | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gcc/ada/sem.adb b/gcc/ada/sem.adb index 2c5c54b..5a723f3 100644 --- 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, |