Sign in
gnu
/
gcc
/
a6d3012b274f38b20e2a57162106f625746af6c6
/
.
/
gcc
/
testsuite
/
gnat.dg
/
validity_check2.adb
blob: f349cf1603630234c67434c5b921346e3abc443b [
file
] [
log
] [
blame
]
--
{
dg
-
do
compile
}
--
{
dg
-
options
"-gnatVi -gnatws"
}
with
Validity_Check2_Pkg
;
use
Validity_Check2_Pkg
;
procedure
Validity_Check2
(
R
:
access
Rec
)
is
begin
if
Op_Code_To_Msg
(
R
.
Code
)
in
Valid_Msg
then
raise
Program_Error
;
end
if
;
end
;