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

   type Counter is record
      Value : Natural;
      Step  : Natural;
   end record;
   pragma Suppress_Initialization (Counter);

   procedure Do_Step (This : in out Counter);
   pragma Inline (Do_Step);

   type My_Counter is new Counter;
   pragma Suppress_Initialization (My_Counter);

   procedure Step_From (Start : in My_Counter);

   Nsteps : Natural := 12;
   Mv : Natural;
end;