rt_gccstream/gcc/testsuite/gnat.dg/sync_iface_test.adb

20 lines
414 B
Ada

-- { dg-do compile }
package body Sync_Iface_Test is
protected body Buffer is
procedure Dummy is begin null; end;
end;
function First (Obj : Buffer) return Natural is
begin
return 0;
end;
procedure Do_Test (Dummy : Natural; Item : Buffer)
is
Position1 : Natural := First (Item);
Position2 : Natural := Item.First; -- Problem here
begin
null;
end;
end;