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


1
2
3
4
5
6
7
8
9

--  { dg-do compile }

package body RT1 is
   procedure P (S : access Root_Stream_Type'Class) is
      Val : constant Ptr := Ptr'Input (S);
   begin
      null;
   end P;
end RT1;