obtained gcc-4.6.4.tar.bz2 from upstream website;upstream

verified gcc-4.6.4.tar.bz2.sig;
imported gcc-4.6.4 source tree from verified upstream tarball.

downloading a git-generated archive based on the 'upstream' tag
should provide you with a source tree that is binary identical
to the one extracted from the above tarball.

if you have obtained the source via the command 'git clone',
however, do note that line-endings of files in your working
directory might differ from line-endings of the respective
files in the upstream repository.

1 files changed, 36 insertions, 0 deletions

diff --git a/gcc/testsuite/gnat.dg/unchecked_convert7.adb b/gcc/testsuite/gnat.dg/unchecked_convert7.adb
new file mode 100644
index 000000000..502459bba
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/unchecked_convert7.adb
@@ -0,0 +1,36 @@
+-- { dg-do compile }
+-- { dg-options "-g -gnatVa" }
+
+with Unchecked_Conversion;
+
+procedure Unchecked_Convert7 is
+
+  type BPA is array (1 .. 23) of Boolean;
+  pragma Pack (BPA);
+  for BPA'Size use 23;
+
+  subtype Byte is Natural range 0 .. 255;
+
+  type R is
+    record
+      S : Boolean;
+      E : Byte;
+      F : BPA;
+    end record;
+
+  for R use
+    record
+      S at 0 range 0 .. 0;
+      E at 0 range 1 .. 8;
+      F at 0 range 9 .. 31;
+    end record;
+  for R'Size use 32;
+
+  function Conversion
+    is new Unchecked_Conversion (Source => R, Target => Float);
+
+  F : Float := Conversion (R'(False, Byte'Last, (others => False)));
+
+begin
+  null;
+end;