diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2010-01-25 16:25:29 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-01-25 17:25:29 +0100 |
| commit | a4fb8087d01315632563efe727d1c3d75cf17d33 (patch) | |
| tree | c6e2ec3489a926640c571211ae81e23258957dc3 | |
| parent | 3d92367153068c7889944f3187462bbc590caa9d (diff) | |
| download | gcc-a4fb8087d01315632563efe727d1c3d75cf17d33.zip gcc-a4fb8087d01315632563efe727d1c3d75cf17d33.tar.gz gcc-a4fb8087d01315632563efe727d1c3d75cf17d33.tar.bz2 | |
* gnat.dg/array_bounds_test.adb: New test.
From-SVN: r156216
| -rw-r--r-- | gcc/testsuite/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/testsuite/gnat.dg/array_bounds_test.adb | 15 |
2 files changed, 19 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 46b1eb0..d0a4de2 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 0000000..5be27ff --- /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; |