gcc/testsuite/gnat.dg/dse_step.ads

   1 package Dse_Step is
   2
   3    type Counter is record
   4       Value : Natural;
   5       Step  : Natural;
   6    end record;
   7    pragma Suppress_Initialization (Counter);
   8
   9    procedure Do_Step (This : in out Counter);
  10    pragma Inline (Do_Step);
  11
  12    type My_Counter is new Counter;
  13    pragma Suppress_Initialization (My_Counter);
  14
  15    procedure Step_From (Start : in My_Counter);
  16
  17    Nsteps : Natural := 12;
  18    Mv : Natural;
  19 end;