ubuntu-buildroot/output/build/host-gcc-initial-11.4.0/gcc/testsuite/gnat.dg/controlled5.adb

-- { dg-do run }

with Controlled5_Pkg; use Controlled5_Pkg;

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