view gcc/testsuite/gnat.dg/pointer_protected.adb @ 138:fc828634a951

merge
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Thu, 08 Nov 2018 14:17:14 +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;