Sign in
gnu
/
gcc
/
refs/tags/basepoints/gcc-13
/
.
/
gcc
/
testsuite
/
gnat.dg
/
valid4.adb
blob: b64c526977688ec779a3d8907d0867d6c7f44655 [
file
] [
log
] [
blame
]
--
{
dg
-
do
run
}
--
{
dg
-
options
"-gnatVa"
}
with
Valid4_Pkg
;
use
Valid4_Pkg
;
procedure
Valid4
is
begin
Proc
(
Global
);
if
Global
then
raise
Program_Error
;
end
if
;
end
Valid4
;