OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

[Ada] ACATS 4.1H - BA12018 - Missed errors for private with

Browse Source 
2020-06-17  Arnaud Charlet  <charlet@adacore.com>

gcc/ada/

	* sem_ch10.adb (Expand_With_Clause): Add missing handling of
	N_Generic_Subprogram_Declaration, N_Subprogram_Declaration,
	N_Subprogram_Body.
This commit is contained in:
Arnaud Charlet 2020-04-19 05:44:10 -04:00 committed by Pierre-Marie de Rodat
parent a5c11aa2d5
commit 86f8060436
1 changed files with 8 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
gcc/ada/sem_ch10.adb
View File

@ -3197,12 +3197,16 @@ package body Sem_Ch10 is
Set_Library_Unit (Withn, Parent (Unit_Declaration_Node (Ent)));
Set_Parent_With (Withn);
-- If the unit is a package or generic package declaration, a private_
-- with_clause on a child unit implies that the implicit with on the
-- parent is also private.
-- If the unit is a [generic] package or subprogram declaration
-- (including a subprogram body acting as spec), a private_with_clause
-- on a child unit implies that the implicit with on the parent is also
-- private.
if Nkind_In (Unit (N), N_Generic_Package_Declaration,
N_Package_Declaration)
N_Package_Declaration,
N_Generic_Subprogram_Declaration,
N_Subprogram_Declaration,
N_Subprogram_Body)
then
Set_Private_Present (Withn, Private_Present (Item));
end if;