gcc/testsuite/gnat.dg/loop_optimization1.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-O3" }
   3
   4 package body Loop_Optimization1 is
   5
   6    procedure Create (A : in out D; Val : Integer) is
   7
   8       M : constant Group_Chain_List := Group_Chains(Val);
   9       G : constant Group_List := Groups(Val);
  10
  11       function Is_Visible (Group : Number) return Boolean is
  12       begin
  13          for I in M'Range loop
  14             if Group = M(I).Groups(M(I).Length) then
  15                return True;
  16             end if;
  17          end loop;
  18          return False;
  19       end;
  20
  21    begin
  22       for I in A.L'Range loop
  23          A.L(I) := new R(Is_Visible(G(I)));
  24       end loop;
  25    end;
  26
  27 end Loop_Optimization1;