From: Arnaud Charlet <charlet@adacore.com>
Date: Mon, 25 Jan 2010 16:25:29 +0000 (+0000)
Subject: * gnat.dg/array_bounds_test.adb: New test.
X-Git-Tag: releases/gcc-4.5.0~1073
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=a4fb8087d01315632563efe727d1c3d75cf17d33;p=thirdparty%2Fgcc.git

* gnat.dg/array_bounds_test.adb: New test.

From-SVN: r156216
---

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 46b1eb071f79..d0a4de2315bf 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -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
index 000000000000..5be27ff804b5
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/array_bounds_test.adb
@@ -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;