From: Eric Botcazou <ebotcazou@adacore.com>
Date: Wed, 7 Jan 2015 08:45:17 +0000 (+0000)
Subject: freeze.adb (Freeze_Array_Type): Apply same handling to Is_Atomic component type as... 
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7806a9ed84c45d9424667c07e3501a618d763050;p=gcc.git

freeze.adb (Freeze_Array_Type): Apply same handling to Is_Atomic component type as to Has_Atomic_Components type.

2015-01-07  Eric Botcazou  <ebotcazou@adacore.com>

	* freeze.adb (Freeze_Array_Type): Apply same handling to Is_Atomic
	component type as to Has_Atomic_Components type.  Remove useless
	test on Is_Aliased component type.

From-SVN: r219281
---

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 39b20091d49..bceb082d1fa 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,9 @@
+2015-01-07  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* freeze.adb (Freeze_Array_Type): Apply same handling to Is_Atomic
+	component type as to Has_Atomic_Components type.  Remove useless
+	test on Is_Aliased component type.
+
 2015-01-07  Hristian Kirtchev  <kirtchev@adacore.com>
 
 	* alloc.ads Alphabetize several declarations. Add constants
diff --git a/gcc/ada/freeze.adb b/gcc/ada/freeze.adb
index 52d1118afa2..a8acdc33c60 100644
--- a/gcc/ada/freeze.adb
+++ b/gcc/ada/freeze.adb
@@ -2431,12 +2431,12 @@ package body Freeze is
                end if;
             end;
 
-            --  Check for Atomic_Components or Aliased with unsuitable packing
-            --  or explicit component size clause given.
+            --  Check for Aliased or Atomic_Components/Atomic with unsuitable
+            --  packing or explicit component size clause given.
 
-            if (Has_Atomic_Components  (Arr)
+            if (Has_Aliased_Components (Arr)
                   or else
-                Has_Aliased_Components (Arr))
+                Has_Atomic_Components (Arr) or else Is_Atomic (Ctyp))
               and then
                 (Has_Component_Size_Clause (Arr) or else Is_Packed (Arr))
             then
@@ -2503,13 +2503,10 @@ package body Freeze is
                   then
                      null;
 
-                  elsif Has_Aliased_Components (Arr)
-                    or else Is_Aliased (Ctyp)
-                  then
+                  elsif Has_Aliased_Components (Arr) then
                      Complain_CS ("aliased");
 
-                  elsif Has_Atomic_Components (Arr)
-                    or else Is_Atomic (Ctyp)
+                  elsif Has_Atomic_Components (Arr) or else Is_Atomic (Ctyp)
                   then
                      Complain_CS ("atomic");
                   end if;