gcc/testsuite/gnat.dg/not_null.adb

   1 --  { dg-do run }
   2
   3 procedure not_null is
   4    type Not_Null_Int_Ptr is not null access all Integer;
   5
   6    generic
   7       F : Not_Null_Int_Ptr := null;
   8    package GPack is
   9    end GPack;
  10
  11 begin
  12    declare
  13       pragma Warnings (Off, "*null not allowed in null-excluding objects");
  14       pragma Warnings (Off, """Constraint_Error"" will be raised at run time");
  15       package Inst_2 is new GPack (null);
  16       pragma Warnings (On, "*null not allowed in null-excluding objects");
  17       pragma Warnings (On, """Constraint_Error"" will be raised at run time");
  18    begin
  19       null;
  20    end;
  21 exception
  22    when Constraint_Error =>
  23       null;
  24 end not_null;