[multiple changes]

2015-05-22  Eric Botcazou  <ebotcazou@adacore.com>

	* exp_pakd.adb (Install_PAT): Propagate representation aspects
	from the original array type to the PAT.

2015-05-22  Robert Dewar  <dewar@adacore.com>

	* treepr.adb (Print_Node_Header): Add output of Needs_Actuals_Check.

From-SVN: r223537

gcc/ada/ChangeLog

+2015-05-22  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_pakd.adb (Install_PAT): Propagate representation aspects
+	from the original array type to the PAT.
+
+2015-05-22  Robert Dewar  <dewar@adacore.com>
+
+	* treepr.adb (Print_Node_Header): Add output of Needs_Actuals_Check.
+
 2015-05-22  Robert Dewar  <dewar@adacore.com>
 
 	* atree.adb, atree.ads (Needs_Actuals_Check): New flag.

gcc/ada/exp_pakd.adb

@@ -535,6 +535,14 @@ package body Exp_Pakd is
          Set_Is_Packed_Array_Impl_Type (PAT, True);
          Set_Original_Array_Type       (PAT, Typ);
 
+         --  Propagate representation aspects
+
+         Set_Is_Atomic                (PAT, Is_Atomic                (Typ));
+         Set_Is_Independent           (PAT, Is_Independent           (Typ));
+         Set_Has_Volatile_Full_Access (PAT, Has_Volatile_Full_Access (Typ));
+         Set_Is_Volatile              (PAT, Is_Volatile              (Typ));
+         Set_Treat_As_Volatile        (PAT, Treat_As_Volatile        (Typ));
+
          --  For a non-bit-packed array, propagate reverse storage order
          --  flag from original base type to packed array base type.
 

gcc/ada/treepr.adb

@@ -1382,6 +1382,10 @@ package body Treepr is
          Print_Header_Flag ("ignored ghost");
       end if;
 
+      if Needs_Actuals_Check (N) then
+         Print_Header_Flag ("needs actuals check");
+      end if;
+
       if Enumerate then
          Print_Char (')');
       end if;