[Ada] ACATS 4.1H - B853001 - missed errors for renamed limited
authorJavier Miranda <miranda@adacore.com>
Tue, 25 Aug 2020 19:08:22 +0000 (15:08 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 22 Oct 2020 12:11:27 +0000 (08:11 -0400)
commitb2dea70e920c5dab3118f362f693d4c0e6d9af87
tree3ad25c33fd88b935e65989ed1119da895b503417
parentf0c57fcd0a50c9f96ee108c9299eed22e639f354
[Ada] ACATS 4.1H - B853001 - missed errors for renamed limited

gcc/ada/

* einfo.ads (Has_Limited_View): New synthesized attribute.
* einfo.adb (Has_Limited_View): New synthesized attribute.
(Set_Limited_View): Complete assertion.
* sem_ch10.ads (Is_Visible_Through_Renamings): Make this routine
public to invoke it from Find_Expanded_Name and avoid reporting
spurious errors on renamings of limited-with packages.
(Load_Needed_Body): Moved to have this spec alphabetically
ordered.
* sem_ch10.adb (Is_Visible_Through_Renamings): Moved to library
level.
(Is_Limited_Withed_Unit): New subprogram.
* sem_ch3.adb (Access_Type_Declaration): Adding protection to
avoid reading attribute Entity() when not available.
* sem_ch8.adb (Analyze_Package_Renaming): Report error on
renamed package not visible through context clauses.
(Find_Expanded_Name): Report error on renamed package not
visible through context clauses; handle special case where the
prefix is a renaming of a (now visible) shadow package.
gcc/ada/einfo.adb
gcc/ada/einfo.ads
gcc/ada/sem_ch10.adb
gcc/ada/sem_ch10.ads
gcc/ada/sem_ch3.adb
gcc/ada/sem_ch8.adb