gcc/testsuite/gnat.dg/dse_step.adb

   1 package body Dse_Step is
   2
   3    procedure Do_Step (This : in out Counter) is
   4    begin
   5       This.Value := This.Value + This.Step;
   6    end;
   7
   8    procedure Step_From (Start : in My_Counter) is
   9       Lc : My_Counter := Start;
  10    begin
  11       while Nsteps > 0 loop
  12          Do_Step (Lc);
  13          Nsteps := Nsteps - 1;
  14       end loop;
  15       Mv := Lc.Value;
  16    end;
  17
  18 end;