Sign in
gnu
/
gcc
/
a8404c07e7fca388c02c39077865f7d5fa928430
/
.
/
gcc
/
testsuite
/
gnat.dg
/
validity_check.adb
blob: 1bcc084f52c1cc5434c6f40f447ec473b77ddee0 [
file
] [
log
] [
blame
]
--
{
dg
-
do
run
}
--
{
dg
-
options
"-O -gnatn -gnatVa -gnatws"
}
pragma
Initialize_Scalars
;
procedure
Validity_Check
is
type
Small_Int
is
mod
2
**
6
;
type
Arr
is
array
(
1
..
16
)
of
Small_Int
;
pragma
Pack
(
Arr
);
S
:
Small_Int
;
A
:
Arr
;
begin
null
;
end
;