From: Ed Schonberg Date: Mon, 4 Jul 2005 13:30:32 +0000 (+0200) Subject: sem_util.adb (Is_Object_Reference): An indexed or selected component whose prefix... X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ac0ed7268a8cf613955dab97b4dfa1e3b6a243d4;p=gcc.git sem_util.adb (Is_Object_Reference): An indexed or selected component whose prefix is an implicit dereference is an... 2005-07-04 Ed Schonberg * sem_util.adb (Is_Object_Reference): An indexed or selected component whose prefix is an implicit dereference is an object reference. Removes spurious errors when compiling with -gnatc. From-SVN: r101592 --- diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb index 04107a5c9df..4d3577e8ea0 100644 --- a/gcc/ada/sem_util.adb +++ b/gcc/ada/sem_util.adb @@ -4074,7 +4074,9 @@ package body Sem_Util is else case Nkind (N) is when N_Indexed_Component | N_Slice => - return Is_Object_Reference (Prefix (N)); + return + Is_Object_Reference (Prefix (N)) + or else Is_Access_Type (Etype (Prefix (N))); -- In Ada95, a function call is a constant object @@ -4089,7 +4091,9 @@ package body Sem_Util is when N_Selected_Component => return Is_Object_Reference (Selector_Name (N)) - and then Is_Object_Reference (Prefix (N)); + and then + (Is_Object_Reference (Prefix (N)) + or else Is_Access_Type (Etype (Prefix (N)))); when N_Explicit_Dereference => return True;