+2007-12-05 Samuel Tardieu <sam@rfc1149.net>
+
+ PR ada/21489
+ * exp_ch9.adb (Build_Simple_Entry_Call): Initialize OUT access type
+ parameters of an entry call.
+
2007-12-03 Robert Dewar <dewar@adacore.com>
Samuel Tardieu <sam@rfc1149.net>
-- We have to make an assignment statement separate for the
-- case of limited type. We cannot assign it unless the
-- Assignment_OK flag is set first.
+ -- An out formal of an access type must also be initialized
+ -- from the actual, as stated in RM 6.4.1 (13).
- if Ekind (Formal) /= E_Out_Parameter then
+ if Ekind (Formal) /= E_Out_Parameter
+ or else Is_Access_Type (Etype (Formal))
+ then
N_Var :=
New_Reference_To (Defining_Identifier (N_Node), Loc);
Set_Assignment_OK (N_Var);