Subversion Repositories openrisc

--  { dg-do run }

procedure not_null is

   type Not_Null_Int_Ptr is not null access all Integer;

   generic

      F : Not_Null_Int_Ptr := null;

   package GPack is

   end GPack;

begin

   declare

      pragma Warnings (Off, "*null not allowed in null-excluding objects");

      pragma Warnings (Off, """Constraint_Error"" will be raised at run time");

      package Inst_2 is new GPack (null);

      pragma Warnings (On, "*null not allowed in null-excluding objects");

      pragma Warnings (On, """Constraint_Error"" will be raised at run time");

   begin

      null;

   end;

exception

   when Constraint_Error =>

      null;

end not_null;