exp_pakd.adb (Convert_To_PAT_Type): After replacing the original type of the object...

	* 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

diff --git a/gcc/ada/exp_pakd.adb b/gcc/ada/exp_pakd.adb
index f8415093bf3fda10d6e0e352461ab1fb9db3e9c9..d6f47ddc4b8953b2b2fb8109caea69810909bbf8 100644 (file)
--- 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;
 
    ------------------------------