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
re PR c++/84691 (internal compiler error: in poplevel_class, at cp/name-lookup.c...
[official-gcc.git]
/
gcc
/
testsuite
/
gnat.dg
/
specs
/
double_record_extension1.ads
blob
c1c436f3ec77803b22f0a857e8589283b5f0a7c1
1
-- { dg-do compile }
2
3
package
double_record_extension1
is
4
5
type
T1
(
n
:
natural
)
is tagged record
6
s1
:
string
(
1
..
n
);
7
end record
;
8
type
T2
(
j
,
k
:
natural
)
is new
T1
(
j
)
with record
9
s2
:
string
(
1
..
k
);
10
end record
;
11
type
T3
is new
T2
(
10
,
10
)
with null record
;
12
13
end
double_record_extension1
;