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, 32 insertions, 0 deletions

diff --git a/gcc/testsuite/gnat.dg/unchecked_convert1.adb b/gcc/testsuite/gnat.dg/unchecked_convert1.adb
new file mode 100644
index 000000000..eb63d59a8
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/unchecked_convert1.adb
@@ -0,0 +1,32 @@
+-- { dg-do run }
+-- { dg-options "-gnatws" }
+
+with Ada.Unchecked_Conversion;
+
+procedure Unchecked_Convert1 is
+  type Byte is mod 2**8;
+
+  type Stream is array (Natural range <>) of Byte;
+
+  type Rec is record
+    I1, I2 : Integer;
+  end record;
+
+  function Do_Sum (R : Rec) return Integer is
+  begin
+    return R.I1 + R.I2;
+  end;
+
+  function Sum (S : Stream) return Integer is
+    subtype Chunk is Stream (1 .. Rec'Size / 8);
+    function To_Chunk is new Ada.Unchecked_Conversion (Chunk, Rec);
+  begin
+    return Do_Sum (To_Chunk (S(S'First ..  S'First + Rec'Size / 8 - 1)));
+  end;
+
+  A : Stream (1..9);
+  I : Integer;
+
+begin
+  I := Sum (A(1..8));
+end;