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