From 47190c6bc99ff904e4edc67b772e1d222726b900 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Fri, 19 Nov 2004 12:24:53 +0100 Subject: exp_pakd.adb (Convert_To_PAT_Type): After replacing the original type of the object with the packed array type... * exp_pakd.adb (Convert_To_PAT_Type): After replacing the original type of the object with the packed array type, set the Analyzed flag on the object if it is an entity or simple indexed component, to avoid spurious type errors. From-SVN: r90909 --- gcc/ada/exp_pakd.adb | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) (limited to 'gcc') diff --git a/gcc/ada/exp_pakd.adb b/gcc/ada/exp_pakd.adb index f841509..d6f47dd 100644 --- a/gcc/ada/exp_pakd.adb +++ b/gcc/ada/exp_pakd.adb @@ -685,7 +685,24 @@ package body Exp_Pakd is -- because the expression will not be further analyzed, and Gigi -- considers the two types equivalent in any case. + -- This is not strictly the case ??? If the reference is an actual + -- in a call, the expansion of the prefix is delayed, and must be + -- reanalyzed, see Reset_Packed_Prefix. On the other hand, if the + -- prefix is a simple array reference, reanalysis can produce spurious + -- type errors when the PAT type is replaced again with the original + -- type of the array. The following is correct and minimal, but the + -- handling of more complex packed expressions in actuals is confused. + -- It is likely that the problem only remains for actuals in calls. + Set_Etype (Aexp, Packed_Array_Type (Act_ST)); + + if Is_Entity_Name (Aexp) + or else + (Nkind (Aexp) = N_Indexed_Component + and then Is_Entity_Name (Prefix (Aexp))) + then + Set_Analyzed (Aexp); + end if; end Convert_To_PAT_Type; ------------------------------ -- cgit v1.1