view gcc/testsuite/gnat.dg/pointer_protected.adb @ 152:2b5abeee2509

update gcc11
author anatofuz
date Mon, 25 May 2020 07:50:57 +0900
parents 04ced10e8804
children
line wrap: on
line source

-- { dg-do compile }

with pointer_protected_p;

procedure pointer_protected is
   Pointer : pointer_protected_p.Ptr := null;
   Data    : pointer_protected_p.T;
begin
   Pointer.all (Data);
end pointer_protected;