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

[Ada] Wrong accessibility for conversion to named access

Browse Source 
gcc/ada/

	* sem_util.adb (Accessibility_Level_Helper): Conversions to
	named access types get the level associated with the named
	access type.
This commit is contained in:
Justin Squirek 2020-08-23 13:38:16 -04:00 committed by Pierre-Marie de Rodat
parent 67a3b519af
commit d302be6eba
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
gcc/ada/sem_util.adb
View File

@ -751,6 +751,13 @@ package body Sem_Util is
then
return Accessibility_Level_Helper (Expression (E), Static);
-- We don't care about the master if we are looking at a named
-- access type.
elsif Is_Named_Access_Type (Etype (E)) then
return Make_Level_Literal
(Type_Access_Level (Etype (E)));
-- In section RM 3.10.2 (10/4) the accessibility rules for
-- aggregates and value conversions are outlined. Are these
-- followed in the case of initialization of an object ???