gcc-4.9/gcc/testsuite/gnat.dg/dse_step.ads


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;