gcc/testsuite/gnat.dg/loop_optimization10.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-O3" }
   3 -- { dg-options "-O3 -msse2" { target i?86-*-* x86_64-*-* } }
   4
   5 package body Loop_Optimization10 is
   6
   7    function F (Low, High : in Array_Real_Type) return Array_Limit_Type is
   8       Result : Array_Limit_Type;
   9    begin
  10       for I in Result'Range
  11       loop
  12          Result (I) := F (Low (I), High (I));
  13       end loop;
  14       return Result;
  15    end;
  16
  17 end Loop_Optimization10;
  18