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       package Inst_2 is new GPack (null);
  15       pragma Warnings (On, "*null not allowed in null-excluding objects");
  16    begin
  17       null;
  18    end;
  19 exception
  20    when Constraint_Error =>
  21       null;
  22 end not_null;