Sign in
gnu
/
gcc
/
1f16a020acbea0af26209478990b83b1a1ba3a2b
/
.
/
gcc
/
testsuite
/
gnat.dg
/
discr42.adb
blob: e3380b889bafcda9b4068b696da2b32f4801d322 [
file
] [
log
] [
blame
]
--
{
dg
-
do
run
}
with
Discr42_Pkg
;
use
Discr42_Pkg
;
procedure
Discr42
is
R
:
Rec
;
Pos
:
Natural
:=
1
;
begin
R
:=
F
(
Pos
);
if
Pos
/=
2
then
raise
Program_Error
;
end
if
;
if
R
/=
(
D
=>
True
,
N
=>
4
)
then
raise
Program_Error
;
end
if
;
end
;