diff options
Diffstat (limited to 'gcc-4.9/gcc/testsuite/gnat.dg/enum3.adb')
-rw-r--r-- | gcc-4.9/gcc/testsuite/gnat.dg/enum3.adb | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/gnat.dg/enum3.adb b/gcc-4.9/gcc/testsuite/gnat.dg/enum3.adb new file mode 100644 index 000000000..1cb6c4b56 --- /dev/null +++ b/gcc-4.9/gcc/testsuite/gnat.dg/enum3.adb @@ -0,0 +1,23 @@ +-- { dg-do run } + +procedure Enum3 is + type Enum is (Aaa, Bbb, Ccc); + for Enum use (1,2,4); +begin + for Lo in Enum loop + for Hi in Enum loop + declare + subtype S is Enum range Lo .. Hi; + type Vector is array (S) of Integer; + Vec : Vector; + begin + for I in S loop + Vec (I) := 0; + end loop; + if Vec /= (S => 0) then + raise Program_Error; + end if; + end; + end loop; + end loop; +end; |