Sign in
gnu
/
gcc
/
refs/tags/basepoints/gcc-13
/
.
/
gcc
/
testsuite
/
gnat.dg
/
disp2.adb
blob: 2e1e6226080802a8d6ec3a1618c1374c5f500c51 [
file
] [
log
] [
blame
]
--
{
dg
-
do
run
}
with
Disp2_Pkg
;
use
Disp2_Pkg
;
procedure
Disp2
is
Obj
:
Object_Ptr
:=
new
Object
;
begin
if
Obj
.
Get_Ptr
/=
Obj
.
Impl_Of
then
raise
Program_Error
;
end
if
;
end
;