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
2016-11-21 Thomas Preud'homme <thomas.preudhomme@arm.com>
[official-gcc.git]
/
gcc
/
testsuite
/
gnat.dg
/
discr29.ads
blob
6bbf16725edf2850ca8799bc9331021b1b5fa173
1
package
Discr29
is
2
3
type
Rec1
is record
4
I1
:
Integer
;
5
I2
:
Integer
;
6
I3
:
Integer
;
7
end record
;
8
9
type
Rec2
is tagged record
10
I1
:
Integer
;
11
I2
:
Integer
;
12
end record
;
13
14
type
Rec3
(
D
:
Boolean
)
is record
15
case
D
is
16
when
True
=>
A
:
Rec1
;
17
when
False
=>
B
:
Rec2
;
18
end case
;
19
end record
;
20
21
procedure
Proc
(
R
:
out
Rec3
);
22
23
Tmp
:
Rec2
;
24
25
end
Discr29
;