mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-03-31 12:51:15 +08:00
Code Issues Packages Projects Releases Wiki Activity

[Ada] Implicit dereferencing in container indexing

Browse Source 
gcc/ada/

	* sem_ch4.adb (Try_Container_Indexing): When the prefix type is
	an access type, change it to the designated type, change the
	prefix to an explicit dereference, and emit a ?d? warning for
	the implicit dereference. Include a ??? comment questioning
	whether this is the right context in which to perform the
	implicit dereferencing.
This commit is contained in:
Gary Dismukes 2020-06-07 19:41:15 -04:00 committed by Pierre-Marie de Rodat
parent c6801105e1
commit ebc2b117e4
1 changed files with 20 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
gcc/ada/sem_ch4.adb
View File

@ -7979,7 +7979,7 @@ package body Sem_Ch4 is
Prefix : Node_Id;
Exprs : List_Id) return Boolean
is
Pref_Typ : constant Entity_Id := Etype (Prefix);
Pref_Typ : Entity_Id := Etype (Prefix);
function Constant_Indexing_OK return Boolean;
-- Constant_Indexing is legal if there is no Variable_Indexing defined
@ -8415,6 +8415,25 @@ package body Sem_Ch4 is
return True;
end if;
-- An explicit dereference needs to be created in the case of a prefix
-- that's an access.
-- It seems that this should be done elsewhere, but not clear where that
-- should happen. Normally Insert_Explicit_Dereference is called via
-- Resolve_Implicit_Dereference, called from Resolve_Indexed_Component,
-- but that won't be called in this case because we transform the
-- indexing to a call. Resolve_Call.Check_Prefixed_Call takes care of
-- implicit dereferencing and referencing on prefixed calls, but that
-- would be too late, even if we expanded to a prefix call, because
-- Process_Indexed_Component will flag an error before the resolution
-- happens. ???
if Is_Access_Type (Pref_Typ) then
Pref_Typ := Implicitly_Designated_Type (Pref_Typ);
Insert_Explicit_Dereference (Prefix);
Error_Msg_NW (Warn_On_Dereference, "?d?implicit dereference", N);
end if;
C_Type := Pref_Typ;
-- If indexing a class-wide container, obtain indexing primitive from