From: Eric Botcazou <ebotcazou@adacore.com>
Date: Sat, 3 May 2008 19:47:22 +0000 (+0000)
Subject: decl.c (components_to_record): Zero the alignment of the qualified union built for... 
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8f85525e4102574486728caf5e5aa3d91ab101e1;p=gcc.git

decl.c (components_to_record): Zero the alignment of the qualified union built for the variant part upon...

	* decl.c (components_to_record): Zero the alignment of the qualified
	union built for the variant part upon creating it.

From-SVN: r134917
---

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 6da64b62973..28cf5dc87d3 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,8 @@
+2008-05-03  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* decl.c (components_to_record): Zero the alignment of the qualified
+	union built for the variant part upon creating it.
+
 2008-05-03  Eric Botcazou  <ebotcazou@adacore.com>
 
 	* decl.c (maybe_pad_type): Try to get a form of the type with integral
diff --git a/gcc/ada/decl.c b/gcc/ada/decl.c
index 9d933b740d0..68ea42b53e4 100644
--- a/gcc/ada/decl.c
+++ b/gcc/ada/decl.c
@@ -6322,6 +6322,7 @@ components_to_record (tree gnu_record_type, Node_Id component_list,
 	    = make_node (unchecked_union ? UNION_TYPE : QUAL_UNION_TYPE);
 
 	  TYPE_NAME (gnu_union_type) = gnu_union_name;
+	  TYPE_ALIGN (gnu_union_type) = 0;
 	  TYPE_PACKED (gnu_union_type) = TYPE_PACKED (gnu_record_type);
 	}
 
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 53a4fc0d2bd..a8880ad5a34 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2008-05-03  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gnat.dg/discr6_pkg.ads: New helper.
+	* gnat.dg/discr6.adb: New test.
+
 2008-05-03  Eric Botcazou  <ebotcazou@adacore.com>
 
 	* gnat.dg/alignment4.adb: Adjust.
diff --git a/gcc/testsuite/gnat.dg/discr6.adb b/gcc/testsuite/gnat.dg/discr6.adb
new file mode 100644
index 00000000000..441b19bdf29
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/discr6.adb
@@ -0,0 +1,33 @@
+-- { dg-do compile }
+-- { dg-options "-gnatdm -gnatws" }
+
+with Discr6_Pkg;
+
+procedure Discr6 is
+
+  type T_Bit is range 0..1;
+  type T_Entier_16 is range -2**15 .. 2**15-1;
+
+  package My_Q is new Discr6_Pkg(T_Entier_16);
+
+  type T_Valeur is (BIT, Entier_16);
+
+  type R(D : T_Valeur) is record
+    case D is
+      when BIT => V_BIT : T_Bit;
+      when Entier_16 => V_E16 : T_Entier_16;
+    end case;
+  end record;
+  for R use record
+    V_BIT at 0 range 0..7;
+    V_E16 at 0 range 0..15;
+    D     at 8 range 0..7;
+  end record;
+  for R'size use 128;
+
+  A : R(Entier_16);
+  I : Integer;
+
+begin
+  I := My_Q.X(A.V_E16);
+end;
diff --git a/gcc/testsuite/gnat.dg/discr6_pkg.ads b/gcc/testsuite/gnat.dg/discr6_pkg.ads
new file mode 100644
index 00000000000..11d713c244d
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/discr6_pkg.ads
@@ -0,0 +1,16 @@
+generic
+
+  type T(<>) is private;
+
+package Discr6_Pkg is
+
+  function X (A : T) return Integer;
+
+  pragma Interface(C, X);
+  pragma IMPORT_FUNCTION (
+         INTERNAL         => X,
+         EXTERNAL         => X,
+         PARAMETER_TYPES  => (T),
+         MECHANISM        => (Descriptor(S)));
+
+end Discr6_Pkg;