blob: 8f863d87437e60c5eca7d4f35727783b6a8ac234 [file] [log] [blame]
-- { 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");
package Inst_2 is new GPack (null);
pragma Warnings (On, "*""null"" not allowed in null-excluding objects");
begin
null;
end;
exception
when Constraint_Error =>
null;
end not_null;