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
[C++ PATCH]: instantiation via vtable marking
[official-gcc.git]
/
gcc
/
testsuite
/
gnat.dg
/
fixce.adb
blob
53889e45a1f77a7b46c837ffd3406774de51dde6
1
-- { dg-do run }
2
-- { dg-options "-gnatws" }
3
4
procedure
fixce
is
5
type
D
is delta
128.0
/ (
2
**
15
)
range
0.0
..
256.0
;
6
type
R
is range
0
..
200
;
7
dd
:
D
;
8
RA
:
constant array
(
1
..
3
)
of
R
:= (
127
,
128
,
200
);
9
begin
10
dd
:=
D
(
RA
(
2
));
11
for
i
in
RA
'range
loop
12
dd
:=
D
(
RA
(
i
));
13
end loop
;
14
end
fixce
;