ada: Plug small loophole in the handling of private views in instances
commit1f8d6836261e0089454277d79b1d2ae2f940746b
authorEric Botcazou <ebotcazou@adacore.com>
Mon, 12 Jun 2023 07:52:42 +0000 (12 09:52 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 27 Jun 2023 12:05:50 +0000 (27 14:05 +0200)
treea8bc3da0666519a280b3671ae2f1b3dc85c1ede0
parent125a2260ce07e384238f8569c77d07c56762d39c
ada: Plug small loophole in the handling of private views in instances

This deals with nested instantiations in package bodies.

gcc/ada/

* sem_ch12.adb (Scope_Within_Body_Or_Same): New predicate.
(Check_Actual_Type): Take into account packages nested in bodies
to compute the enclosing scope by means of
Scope_Within_Body_Or_Same.
gcc/ada/sem_ch12.adb