25 lines
646 B
Ada
25 lines
646 B
Ada
-- { 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;
|