Sign in
gnu
/
gcc
/
1ba7adabf29eb671e418692fad076ea6edd08e3d
/
.
/
gcc
/
testsuite
/
gnat.dg
/
specs
/
array2.ads
blob: 73d4ea5b9bc38494e01a62a90004bf95c00e89da [
file
] [
log
] [
blame
]
--
{
dg
-
do
compile
}
--
{
dg
-
options
"-gnatws"
}
pragma
Restrictions
(
No_Elaboration_Code
);
package
Array2
is
type
Arr
is
array
(
Positive
range
<>)
of
Boolean
;
A
:
Arr
(
1
..
2
**
2
);
for
A
'Size use 16#1000_0000_0#;
end Array2;