From: Ed Schonberg <schonber@gnat.com>
Date: Wed, 5 Dec 2001 00:56:39 +0000 (+0000)
Subject: exp_util.adb (Must_Be_Aligned): Return false for a component of a record that has... 
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c6d289f47ef7f721d019b63c820494bc564e1bab;p=gcc.git

exp_util.adb (Must_Be_Aligned): Return false for a component of a record that has other packed components.

	* exp_util.adb (Must_Be_Aligned): Return false for a component of a
	record that has other packed components.

From-SVN: r47638
---

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 533df40c5ee..0f72ac5f331 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,8 @@
+2001-12-04  Ed Schonberg <schonber@gnat.com>
+
+	* exp_util.adb (Must_Be_Aligned): Return false for a component of a 
+	record that has other packed components.
+
 2001-12-04  Douglass B. Rupp <rupp@gnat.com>
 
 	* adaint.c: Minor cleanups.
diff --git a/gcc/ada/exp_util.adb b/gcc/ada/exp_util.adb
index 52c19989150..4cdd988aeeb 100644
--- a/gcc/ada/exp_util.adb
+++ b/gcc/ada/exp_util.adb
@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 B o d y                                  --
 --                                                                          --
---                            $Revision: 1.2 $
+--                            $Revision$
 --                                                                          --
 --          Copyright (C) 1992-2001, Free Software Foundation, Inc.         --
 --                                                                          --
@@ -2497,6 +2497,30 @@ package body Exp_Util is
    function Must_Be_Aligned (Obj : Node_Id) return Boolean is
       Typ : constant Entity_Id := Etype (Obj);
 
+      function In_Partially_Packed_Record (Comp : Entity_Id) return Boolean;
+      --  If the component is in a record that contains previous packed
+      --  components, consider it unaligned because the back-end might
+      --  choose to pack the rest of the record. Lead to less efficient code,
+      --  but safer vis-a-vis of back-end choices.
+
+      function In_Partially_Packed_Record (Comp : Entity_Id) return Boolean is
+         Rec_Type : constant Entity_Id := Scope (Comp);
+         Prev_Comp : Entity_Id;
+      begin
+         Prev_Comp := First_Entity (Rec_Type);
+         while Present (Prev_Comp) loop
+            if Is_Packed (Etype (Prev_Comp)) then
+               return True;
+
+            elsif Prev_Comp = Comp then
+               return False;
+            end if;
+
+            Next_Entity (Prev_Comp);
+         end loop;
+
+         return False;
+      end  In_Partially_Packed_Record;
    begin
       --  If object is strictly aligned, we can quit now
 
@@ -2537,6 +2561,9 @@ package body Exp_Util is
          elsif Present (Component_Clause (Entity (Selector_Name (Obj)))) then
             return False;
 
+         elsif In_Partially_Packed_Record (Entity (Selector_Name (Obj))) then
+            return False;
+
          --  In all other cases, go look at prefix
 
          else