Sign in
gnu
/
gcc
/
a8404c07e7fca388c02c39077865f7d5fa928430
/
.
/
gcc
/
testsuite
/
gnat.dg
/
max_size.adb
blob: 28562c16c0179df2ea36f7d05efb7c47ea68cbe8 [
file
] [
log
] [
blame
]
--
{
dg
-
do
run
}
with
Max_Size_Pkg
;
use
Max_Size_Pkg
;
procedure
Max_Size
is
begin
if
Arr1
'Max_Size_In_Storage_Elements /= 7 then
raise Program_Error;
end if;
if Arr2'
Max_Size_In_Storage_Elements
/=
24
then
raise
Program_Error
;
end
if
;
end
;