gcc/testsuite/gnat.dg/test_dse_step.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-O1 -gnatp -gnatn" }
   3
   4 with Dse_Step; use Dse_Step;
   5
   6 procedure Test_Dse_Step is
   7    Start : My_Counter := (Value => 0, Step => 1);
   8    Steps : Natural := Nsteps;
   9 begin
  10    Step_From (Start);
  11    if Mv /= Steps then
  12       raise Program_Error;
  13    end if;
  14 end;