diff options
Diffstat (limited to 'gcc-4.9/gcc/testsuite/gnat.dg/loop_optimization15.adb')
| -rw-r--r-- | gcc-4.9/gcc/testsuite/gnat.dg/loop_optimization15.adb | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/gnat.dg/loop_optimization15.adb b/gcc-4.9/gcc/testsuite/gnat.dg/loop_optimization15.adb new file mode 100644 index 000000000..ff53575ef --- /dev/null +++ b/gcc-4.9/gcc/testsuite/gnat.dg/loop_optimization15.adb @@ -0,0 +1,20 @@ +-- { dg-do compile }
+-- { dg-options "-O3" }
+
+package body Loop_Optimization15 is
+
+ type Integer_Array_T is array (B16_T range <>) of Integer;
+
+ Len : constant B16_T := 10;
+
+ Src : constant Integer_Array_T (1 .. Len) := (others => 0);
+ Dst : Integer_Array_T (1 .. Len);
+
+ procedure Proc (L : B16_T) is
+ begin
+ for I in 1 .. B16_T'Min (L, Len) loop
+ Dst (I) := Src (I);
+ end loop;
+ end;
+
+end Loop_Optimization15;
|