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

From-SVN: r156216

* gnat.dg/array_bounds_test.adb: New test.
From-SVN: r156216
a4fb8087 · Arnaud Charlet · Arnaud Charlet · 3d923671 · a4fb8087 · a4fb8087
Commit a4fb8087 authored Jan 25, 2010 by Arnaud Charlet Committed by Arnaud Charlet Jan 25, 2010
Hide whitespace changes
Inline Side-by-side

Showing with 19 additions and 0 deletions

gcc/testsuite/ChangeLog
+4 -0

gcc/testsuite/gnat.dg/array_bounds_test.adb
+15 -0

No files found.
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
+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

--- a/gcc/testsuite/gnat.dg/array_bounds_test.adb
+++ b/gcc/testsuite/gnat.dg/array_bounds_test.adb
+--  { 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;