gcc-4.9/gcc/testsuite/gnat.dg/pointer_protected.adb


1
2
3
4
5
6
7
8
9
10

-- { 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;