gcc/testsuite/gnat.dg/null_pointer_deref2.adb

   1 -- { dg-do run }
   2 -- { dg-options "-gnatp" }
   3
   4 -- This test requires architecture- and OS-specific support code for unwinding
   5 -- through signal frames (typically located in *-unwind.h) to pass.  Feel free
   6 -- to disable it if this code hasn't been implemented yet.
   7
   8 procedure Null_Pointer_Deref2 is
   9
  10    task T;
  11
  12    task body T is
  13       type Int_Ptr is access all Integer;
  14
  15       function Ident return Int_Ptr is
  16       begin
  17         return null;
  18       end;
  19       Data : Int_Ptr := Ident;
  20    begin
  21       Data.all := 1;
  22    exception
  23       when Constraint_Error | Storage_Error => null;
  24    end T;
  25
  26 begin
  27    null;
  28 end;