[Ada] Spurious error in current instance used as formal package
authorJavier Miranda <miranda@adacore.com>
Thu, 23 Jul 2020 09:55:16 +0000 (05:55 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 20 Oct 2020 07:21:47 +0000 (03:21 -0400)
commite3b69cc24f53d5502721c3358b24b1d0faf55d04
tree62848b652d6b9965a9f5833b3bba6bc281b56c03
parent6875e1282d303eb1e15cfefc4686e31d56795de0
[Ada] Spurious error in current instance used as formal package

gcc/ada/

* sem_ch12.adb (Install_Parents_Of_Generic_Context,
Remove_Parents_Of_Generic_Context): New subprograms.
(Instantiate_Package_Body): Adding assertions to ensure that
installed parents are properly removed.
gcc/ada/sem_ch12.adb