]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
* gnat.dg/array_bounds_test.adb: New test.
authorArnaud Charlet <charlet@adacore.com>
Mon, 25 Jan 2010 16:25:29 +0000 (16:25 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 25 Jan 2010 16:25:29 +0000 (17:25 +0100)
From-SVN: r156216

gcc/testsuite/ChangeLog
gcc/testsuite/gnat.dg/array_bounds_test.adb [new file with mode: 0644]

index 46b1eb071f79510bde19ef3a8f79a74c80a2a79e..d0a4de2315bf9fe309dff63ef43a976558129013 100644 (file)
@@ -1,3 +1,7 @@
+2010-01-25  Arnaud Charlet  <charlet@adacore.com>
+
+       * gnat.dg/array_bounds_test.adb: New test.
+
 2010-01-25  Tobias Burnus  <burnus@net-b.de>
 
        PR fortran/42858
diff --git a/gcc/testsuite/gnat.dg/array_bounds_test.adb b/gcc/testsuite/gnat.dg/array_bounds_test.adb
new file mode 100644 (file)
index 0000000..5be27ff
--- /dev/null
@@ -0,0 +1,15 @@
+--  { dg-do run }
+
+with Ada.Streams; use Ada.Streams;
+procedure Array_Bounds_Test is
+    One    : constant Stream_Element := 1;
+    Two    : constant Stream_Element := 2;
+    Sample : constant Stream_Element_Array := (0 => One) & Two;
+begin
+   if Sample'First /= 0 then
+      raise Program_Error;
+   end if;
+   if Sample'Last /= 1 then
+      raise Program_Error;
+   end if;
+end Array_Bounds_Test;