diff options
Diffstat (limited to 'gcc/testsuite/gnat.dg/array_bounds_test.adb')
-rw-r--r-- | gcc/testsuite/gnat.dg/array_bounds_test.adb | 15 |
1 files changed, 15 insertions, 0 deletions
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 000000000..5be27ff80 --- /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; |