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


1
2
3
4
5
6
7
8
9

-- { dg-do run }

with Controlled5_Pkg; use Controlled5_Pkg;

procedure Controlled5 is
   V : Root'Class := Dummy (300);
begin
   null;
end;