repo.or.cz
/
official-gcc.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
RISC-V: Add support for riscv-*-*.
[official-gcc.git]
/
gcc
/
testsuite
/
gnat.dg
/
test_dse_step.adb
blob
77652b4c34f291323e8a5499acc6f260760b49d6
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
;