[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

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 7708e137afd15eab4e82619cb968eab88562afb5..13b58f869bd56d3d12e17e1b1cf99dffdc7cacf1 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,12 @@
+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.

diff --git a/gcc/ada/exp_pakd.adb b/gcc/ada/exp_pakd.adb
index 0dda40800d9a3b3787b3fa278f5ce633055a4d9c..1e899ee3accfd29d904c864357d696149eadd32b 100644 (file)
--- a/gcc/ada/exp_pakd.adb
+++ b/gcc/ada/exp_pakd.adb
@@ -532,9 +532,17 @@ package body Exp_Pakd is
          Init_Alignment                (PAT);
          Set_Parent                    (PAT, Empty);
          Set_Associated_Node_For_Itype (PAT, Typ);
-         Set_Is_Packed_Array_Impl_Type      (PAT, True);
+         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.
 

diff --git a/gcc/ada/treepr.adb b/gcc/ada/treepr.adb
index 103038a2bc90abae31f0754ecbbe1c434c711415..a7f79cfe194e27b087e486f1e846a795ba885c5a 100644 (file)
--- a/gcc/ada/treepr.adb
+++ b/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;