summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/dse_step.adb
blob: 040bcb7d2d5b9280ce0899cf0c6c1c8f305f9095 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
package body Dse_Step is

   procedure Do_Step (This : in out Counter) is
   begin
      This.Value := This.Value + This.Step;
   end;

   procedure Step_From (Start : in My_Counter) is
      Lc : My_Counter := Start;
   begin
      while Nsteps > 0 loop
         Do_Step (Lc);
         Nsteps := Nsteps - 1;
      end loop;
      Mv := Lc.Value;
   end;

end;