Sign in
gnu
/
gcc
/
a8404c07e7fca388c02c39077865f7d5fa928430
/
.
/
gcc
/
testsuite
/
gnat.dg
/
valid_scalars1.adb
blob: 0b010487ed3145737d68e8dd12bebe21e40d5eea [
file
] [
log
] [
blame
]
--
{
dg
-
do
compile
}
--
{
dg
-
options
"-gnata -gnatws"
}
procedure
Valid_Scalars1
is
type
Ptr
is
access
Integer
;
V1
:
Ptr
;
Check
:
Boolean
:=
V1
'Valid_Scalars;
begin
pragma Assert (Check);
end;